Parents (Total: 11)

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

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

Key	Value
FileSize	86892
MD5	7D0B04098A93FF7F9CAD80B6319891BE
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	8BD9AE42FEBA49023811980CFD05BBD23F347025
SHA-256	B68A77A76826EC88024BE56C428CA2436FDE14FE208285A3EA3D36D9E586D0A4

Key	Value
FileSize	86260
MD5	A195FD02EF559505E4D2619FAB72BB04
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	499A0D8743E9FF7EB124C6EB104A1D44812538E6
SHA-256	B05CE8FA5DE70AD1DA5B5A3B18ACEEA86433E6BAAD5E9CAB0C9C2A31FB98920C

Key	Value
FileSize	94496
MD5	207BD8341B2FD889E438F145BA8016ED
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	CC0177DEE4A1779F245AD96ABBBF22E03936D898
SHA-256	6624843A227421DB9E565E4D841F0921B54D02061FFCA86D3CDB4BDD4EB2C5AA

Key	Value
FileSize	97996
MD5	58B96C7D670ED4059C4AF835A515A6AE
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	F67925620DC26F5B8161D3C3A794B61448D6522B
SHA-256	2F2C90D23F4600061591A4BFD8A8BD27042B6D3BDDEB7D2BF14E31D961799172

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

Key	Value
FileSize	85444
MD5	9EE88DFB514424F62483B28644F75908
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	D78EB637738DDE01E5B1B302191D855B7180B356
SHA-256	4D80BC4A7451244AFEC49A72A65D643834C870B4B5A038BD9B8C378E46A1FBDA

Key	Value
FileSize	98260
MD5	643768664D325200EB8801238FAD2A43
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	5B95C72BF697BD28C7863774DD0BE24541DCAB00
SHA-256	9DEDD4C36C7DE6382973337B86CAC5E3C1AA993FF63016B4863AB4298D69A953

Key	Value
FileSize	103272
MD5	FC9E4103236D649529B45B9B22EF2F2B
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	97CE1A06BE9EA6677C3983C9F675432BCADCBD88
SHA-256	8029F75D18337513A6E74CA6C57261C74E2FC335E8046533444E2C11EE5F9AA1

Key	Value
FileSize	98808
MD5	93311232F6610C4BA32DA4760902426F
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	1CA431766F13CA5E19B127588DA6747A8CACF213
SHA-256	EAA2AFC6A8E3C254716B008458B501EFDCC9B1C733A201ED8332AC0733A1B214

Key	Value
FileSize	93380
MD5	B57E2CB0D2F46B10C968C0EAEEEA11C8
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-1
SHA-1	10F0932201CA39007DCDFDA69288A9CD03EBAAAE
SHA-256	42FCF9358FBEA06EFF023BFF6D493B2CEAF83121E91A7214CC8ADF51D6EE477E