Package: minisat+ / 1.0-2

Metadata

Package Version Patches format
minisat+ 1.0-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
exitcode | (download)

Main.C | 4 2 + 2 - 0 !
PbParser.C | 2 1 + 1 - 0 !
2 files changed, 3 insertions(+), 3 deletions(-)

 
 use exitcode to indicate error