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	82564
MD5	E81736E1A1BB3BA34F04876F50DA7DBE
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+b3
SHA-1	F85124E305BDE77CACB6C901111EC766A4C148E6
SHA-256	FC1A0C9D6C46E9E935AE19BDCAE448694A11E07C4B0DFC9040A18CE5B091C37A