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	121364
MD5	E78BA38403722AC8E9954F09CCF5B966
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-1build1
SHA-1	B2089BBA8197D495C294581B6825BD267D356374
SHA-256	EF711F7E30B1CEB7A60181D80D790081D3D9539C734C3EF3D6EE7FB5D28D2799

Key	Value
FileSize	115144
MD5	F0161E0B064D5C55DA04135998A8A8E1
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-1build1
SHA-1	2806784A3777F8C7318A1232807055348939B41B
SHA-256	34AFC0F3A0BBC7F33E55C4A27A6081189CB3D3E6FBEE868CF8514ACA6E1BF3B6