Debian logoDebian Screenshots >

picosat

SAT solver with proof and core support

SAT solver with proof and core support
from version 954-1

Description

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.

Upload more screenshots

Please help extend the collection of screenshots. Just make a screenshot and upload it here. You don't need to register or anything.


Homepage

http://fmv.jku.at/picosat/


Statistics

557 other people were interested in this package here. The newest known version of this software is 960-1+b2 (Information last updated about 15 hours ago.)