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	96608
MD5	4F5DF49583B089BF668D4965B64B431C
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1
SHA-1	D01CC4575F18E09F5314D3F7F3133A167366B2C5
SHA-256	E28BD96F10C7E8EE18A0619609F1FC567430BAA805EF6FFA14EFE14796A9ECC8