| FileSize | 147014 |
| MD5 | 465D58E492A9EA3242625DA273FBA86A |
| PackageDescription | 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. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1 |
| SHA-1 | B92BDB443FD0B06C522C6A0AF9F7BEC06F13057E |
| SHA-256 | 51E7B9420E1D9913812A7D4230F19EE60B013CE985586769154B87DCC928A1E8 |