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	90268
MD5	74043A82E6CA98F923A345C0DFFBDB2F
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+b2
SHA-1	5C21EE4E0F8CB339C153807CCAD1015538BEE8C8
SHA-256	7AB42A860DAAB86E9E7A2CB18AC0B30D3E3112C752C0EC2545F237370E38AB44