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	87672
MD5	6562DBEB926023654F00C1E17389A8EE
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	Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageName	cryptominisat
PackageSection	math
PackageVersion	5.8.0+dfsg1-1build2
SHA-1	99D9BDA0D09CB477D40E320B5F839F176C90D009
SHA-256	94A0548C06B8129ECAA544851110F9EDFF5AE45420FC23FDE788E96F393B697E