Parents (Total: 1)
The searched file hash is included in 1 parent files which include package known and seen by metalookup. A sample is included below:
| Key |
Value |
| FileSize | 114238 |
| MD5 | B3EAA7226FB5B8E58B80ACCEC7C7100F |
| 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 | Michael Tautschnig <mt@debian.org> |
| PackageName | picosat |
| PackageSection | science |
| PackageVersion | 960-1 |
| SHA-1 | 83D02774C62CEA75DB1F21F926287DE597D43D0C |
| SHA-256 | 044C89A9B52B73552ED824D221CA7EFA65EEA8B7C7DED828721285A1FA0EFEEF |