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	77044
MD5	8C8416F991445F3624D57CB3AC613A83
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.2+dfsg1-1+b1
SHA-1	C9C6D7D4897CFAFF17296BDB22636D3709E7B89E
SHA-256	6CDFDF188C0224ED80BC8EA3E1437FF5001B48D092EA2A5EBCF5D6F0E7B38AC5