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	70876
MD5	C8C6D47A1B25DA4B351C2C714D9A5A2D
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.11.4+dfsg1-2+b1
SHA-1	BA23736F3EBFAF29DCB5A63BF37BFC8FE732D665
SHA-256	87BAD6704BAE28EE93E4B32105C7767BA80567D5E3DC28E51C841B3A86DA217A