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	90156
MD5	CDE3FFDDEA5D77C74DEAA651FDC76B52
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	811D64088757BBD7B30DEC3E30133F4962142476
SHA-256	DB1269CA193E581E67832B067F6AEAB6DA16D47AD46AEF985C34322589B16319