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	82132
MD5	D17628C586B630F7F077BB159655CABC
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+b3
SHA-1	C87576D5D9D443E822C43EDD9F14CBA68C3DEF03
SHA-256	CB10A551E6EAB1F38CB8585FE601592014907F30DE9F103A4ECF33882F1776F7