SAT solver with proof and core support
Despite the NP completeness of the satisfiabilty problem of Boolean formulas
(SAT), SAT solvers are often able to decide this problem in a reasonable time
frame. As all other NP complete problems are reducible to SAT, the solvers
have become a general purpose tool for this class of problems.
PicoSAT is a SAT solver that turned out to be faster on industrial instances
than MiniSAT 2.0 and also can generate proofs and cores in memory.
picomus - simple minimal unsatisfiable core extractor
picomus [options] [ input-file [ output-file ] ]
This manual page documents briefly the picomus command.
picomus is a SAT solver that uses the PicoSAT library to gen‐
erate a 'minimal unsatisfiable core' also
picosat - SAT solver with proof and core support
picosat [options] input-file
This manual page documents briefly the picosat command.
picosat is a SAT solver with proof and core capabilities. Use
the picosat.trace binary to actually use these capabilities
picosat (936-4) unstable; urgency=low
* Bumped standards version to 3.9.3 (no changes)
* Really ship the picomus binary (closes: #635114)
* Converted debian/copyright to DEP-5
-- Michael Tautschnig <email@example.com> Sat, 03 Mar 2012 22:55:43 +0000
picosat (936-3) unstable; urgency=low
* Ship picomus binary for computing minimal unsatisfiying cores
* Bumped stand
news for release 936 since 935
* simple minimal unsatisfiable core (
Browse inside picosat_936-4_sparc.deb
Results 1 - 1 of 1Search over 15 billion files
© 1997-2017 FileWatcher.com