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	88328
MD5	55FA1AFCBCED4DEA4457E5B559D3CA96
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+b2
SHA-1	9DB83C61CD769D29C61D96A09144148E27405045
SHA-256	0578D729E6A57BA8171B8ADB01A54DEC24233FEEF2C16EE158A31B4D29815763