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	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