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	69168
MD5	60D76947E3536C869E154FD7EA4296FD
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	470EB4DE65812BE5CFA13E56A16CDB2D22E278B0
SHA-256	69076169A5F1D3F39225E0E7789A1C74E308EF32751692910B69A89308718D14