Parents (Total: 2)

The searched file hash is included in 2 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	84136
MD5	BC0C33CA3BDCB55CA33BC7750A6C4A08
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-2
SHA-1	AC0D16835FD4E949F78D94BB88B79F39E8D4B6AA
SHA-256	D57933F25583DE61D294153EB2F7FF24C63391BFACAC92566566F929D2A82067

Key	Value
FileSize	91888
MD5	D18891A8BBD956180B609D7C370B6EEC
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-2
SHA-1	AC2BE53C406DA40D0830C00DEF28653327D60753
SHA-256	92146943920449F4F11D9F77665E12ED3A913610547EFEB36348E66564D3B0F4