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	81072
MD5	C5A1F31FAF95CDF20BCBEC00AB603FB0
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.4+dfsg1-2+b1
SHA-1	F6E17074278908F266967FB82E14927B6B25F2ED
SHA-256	21C9ED0DCE427F9DD7F79920B4A0FC6C101CBD4655A664F3CF2F4D24DFB59627