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	88028
MD5	7DD2E3E22252DEF1B3F7A38786E96283
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	0CCD17D64CE401A6D72DDBED9DC6536518F56178
SHA-256	1BECDD5D30623F429640E839FFE4E7F7537E7E7D76D2CB4F00DCF86AA5CAFEBE