Parents (Total: 5)

The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	96916
MD5	01C49E555680DE16F4462C0030B4CA70
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	594A4BE87C315C1430AADADC8CF42D0B668FFB85
SHA-256	D09CCDD7003E7762BB766AF08FAC12F1B0631AB816750D39386F56FE1364FADC

Key	Value
FileSize	90268
MD5	74043A82E6CA98F923A345C0DFFBDB2F
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	5C21EE4E0F8CB339C153807CCAD1015538BEE8C8
SHA-256	7AB42A860DAAB86E9E7A2CB18AC0B30D3E3112C752C0EC2545F237370E38AB44

Key	Value
FileSize	86548
MD5	A90EF3AE1476FD067AF946C089B61337
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	1E4D62AEE8C87AF9C091604BF4D7A0376287E034
SHA-256	D45E00283158E94174340DFEE813FEE005B95033533C7ADB9E8138FEB97E6078

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

Key	Value
FileSize	101740
MD5	21FA98662BF4F6A6CCFBC9113A83AF96
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	1B6B2C5B428B0EC7110E6CA2DA9F7EA8B17A91C3
SHA-256	33749346D12D5A6A5B2809FAE21CB4831A7913FFEEF2FF72EB966D436FB2B15D