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	79856
MD5	00A17BF11F5602931D5F673855BD02F5
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	8748FE76794D6AB2FA003D9C1D3BAD49A904BA19
SHA-256	B1FAF99FC4E1EA6CC575160DC7D034755AA65C5C9583E05C316D5EDDBA1AE027