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	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

Key	Value
FileSize	122050
MD5	458999DADA3E5920A7541C4FB1CE8539
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	9AC3BF5F844DCA194F667528F63F682E7F27B8D9
SHA-256	9F6C5E313522A3FCA97E5E2F76C99E6FA047A578939EACC83A74940C04E33753