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	82196
MD5	5B449017B118F171853B92DA1B062284
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+b2
SHA-1	6B7A060E7512D9CC4777F362627263B57448EE5F
SHA-256	D646ED0A6900A36813FA71107DD0C8D17CD7635C191317192D90F22B00BFCA1F