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	92420
MD5	3E8FD2F5412F41CB80BC0B399F7ACF49
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.8.0+dfsg1-1+b2
SHA-1	25F443AA0D6DDA3E6CD90AC9FD63E97B31F55408
SHA-256	5CDBFAD30F7536828B303062EAE606BC32C979430C434947A3E8CD28D9E15D77