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	93380
MD5	B57E2CB0D2F46B10C968C0EAEEEA11C8
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	965-1
SHA-1	10F0932201CA39007DCDFDA69288A9CD03EBAAAE
SHA-256	42FCF9358FBEA06EFF023BFF6D493B2CEAF83121E91A7214CC8ADF51D6EE477E