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	67252
MD5	67799CE18D9B99E580282C884DAA84CC
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	05E857503F1AD3DE59CFCE5B511D1A5C8AC5D184
SHA-256	87631651A4F688D7766BF97B978F83DB7EA8EB928DA91A291BC7FCC759B31E86