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	80172
MD5	8E8F57B66E7CA7ABC055D90EB8B7DDB8
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.6.4+dfsg.1-1+b1
SHA-1	631B829C6E519F6E26F072160E38A9B9E05A336A
SHA-256	222396EA7D6483C7F6F12E52F6361541957EC4002235FC071A404FE98754E3CC

Key	Value
FileSize	80300
MD5	71A7E7F77779F5CE76744CC390BD078B
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.6.4+dfsg.1-1ubuntu1
SHA-1	F6BA8D4E1DB075F70A75C4ED18467D3412A0201B
SHA-256	A7EE1EB2E7718C90A721EAD383DC4AC9CB75BD301BE04F75B0B38A1B6469998D