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	86036
MD5	ADE7056984D5D6303BF72557FF4ACCD3
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.7.1+dfsg1-1+b1
SHA-1	2BB1B6A79CAC5F8CE35C93E37DE5598E415075CE
SHA-256	5121139F44014A9A4D3E1F947DD1ED455433DE39F947CB0B65FC308D4DD79A1E