Parents (Total: 6)

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

Key	Value
FileSize	90156
MD5	CDE3FFDDEA5D77C74DEAA651FDC76B52
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1+b1
SHA-1	811D64088757BBD7B30DEC3E30133F4962142476
SHA-256	DB1269CA193E581E67832B067F6AEAB6DA16D47AD46AEF985C34322589B16319

Key	Value
FileSize	96608
MD5	4F5DF49583B089BF668D4965B64B431C
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1
SHA-1	D01CC4575F18E09F5314D3F7F3133A167366B2C5
SHA-256	E28BD96F10C7E8EE18A0619609F1FC567430BAA805EF6FFA14EFE14796A9ECC8

Key	Value
FileSize	88656
MD5	A303C873C1232ABD2F61B6AC0AC1FBC3
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1+b1
SHA-1	C78183CB953249886C028E3B766601C34C11FBB8
SHA-256	332B24A4CC44D339EA755D60258EF5F7B5F0D1A4B50574A4D2E39B32D143FB99

Key	Value
FileSize	97752
MD5	3CF0DBB11603A6172BC08EE024A83195
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1+b1
SHA-1	5E530544369AFCBEB5A0433DD2023B5060E56A13
SHA-256	4031935B2E91992235F7FB29E6E72AC15B6003B9B39F9194D72204F4EB06D60F

Key	Value
FileSize	101856
MD5	533FC5F1D8C0E2D85E35EF189E125E10
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1+b1
SHA-1	591C31EA61C236C7F5AC262D6AE7933084575D08
SHA-256	8357222EF08E3C2F628046EF9864357AAFE9C72FF68D8F9F225E015AA37D2B62

Key	Value
FileSize	86644
MD5	BB0DA3E5874639DB2647075B7BAE984D
PackageDescription	SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1+b1
SHA-1	39C46103709BEB4A477A2309E63FA42CC65C6C6E
SHA-256	CACAC202AEC18CB4A7D1F35D7DD02E075C3E77D19B20F5B9230583EA4BD64ED5