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	67432
MD5	CEF451C75A27C67157BD85B14364FDE4
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.11.2+dfsg1-1+b1
SHA-1	A180EC62EF5E028222EB877D4C4EEDF581C4523C
SHA-256	7954B3A1B99C5F061C9278667285853775D38FF4FCF16011C06BA1DF805246D3