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	105404
MD5	1CEB2B8FE09D9452012D059746C3020B
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+b2
SHA-1	9A1FEA4C7F0782E614C9BB55C4DCD2486B477502
SHA-256	A33716C5F2D40A100C46F188B8454ED6F4ECE2DFE8298A6764795B91A4D3CA99