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	97752
MD5	3CF0DBB11603A6172BC08EE024A83195
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+b1
SHA-1	5E530544369AFCBEB5A0433DD2023B5060E56A13
SHA-256	4031935B2E91992235F7FB29E6E72AC15B6003B9B39F9194D72204F4EB06D60F