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	84068
MD5	E602DCF9A854BA3575F5B65E9CFA6C18
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.7.1+dfsg1-1+b1
SHA-1	248440E3836D546551C8B6BD36EE8A56AEC60382
SHA-256	85911ABE9FEC6966D3AAEBAF50418B7F270028E05F5DCF724F9DF7D890D19E41