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	93936
MD5	1F4C0E500572659DF1C54A462BBE409E
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.7.1+dfsg1-1+b1
SHA-1	13113B7DBC8F006AB8B8E9294527F4C721912E18
SHA-256	9D90580091283B7CC76BD40EBAB70C214F1355D44D1C8E14FE1752B8FD9DC2A9