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	101856
MD5	533FC5F1D8C0E2D85E35EF189E125E10
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+b1
SHA-1	591C31EA61C236C7F5AC262D6AE7933084575D08
SHA-256	8357222EF08E3C2F628046EF9864357AAFE9C72FF68D8F9F225E015AA37D2B62