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	88144
MD5	B76066F6C8CC73B3E2D5569C1204B41C
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	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	picosat
PackageSection	science
PackageVersion	965-2
SHA-1	A1E604B7E46F121E0EEBD04D0CC9219DC1A424D7
SHA-256	B2FFF0652B31108FF753E82203D713F637B613B5198DE051D392639BB07C706A