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	342724
MD5	ABBA8A2F486E6CD5F656DC2C5179709E
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	954-1
SHA-1	39F223E5C58FCB0DEBFCF303AFF64AECF9CC87D5
SHA-256	6D47A490E7A6C9EB5FEC6C9AFEEFBE1D511ED778D98D8EFE32A9FA4B7EBE64C5

Key	Value
FileSize	333140
MD5	368AF51A60CF1E8E0B735C92455F331E
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	954-1
SHA-1	B52D8CE30FFEB74EB119821D26179580086184C8
SHA-256	69C15AE6D5111370106EACAF4E58AE189D9A869F2FC952C12D9DF0DF28C3F77C