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	96916
MD5	01C49E555680DE16F4462C0030B4CA70
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	594A4BE87C315C1430AADADC8CF42D0B668FFB85
SHA-256	D09CCDD7003E7762BB766AF08FAC12F1B0631AB816750D39386F56FE1364FADC