Parents (Total: 4)

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

Key	Value
FileSize	528708
MD5	22AB31FB6D049596A4A5698595C228B9
PackageDescription	SAT solver library CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a shared library to link against the CryptoMiniSat library.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-5.11
PackageSection	libs
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	0DDD0117A07CBC119FE3AF8D4E3EA91BF50CABCE
SHA-256	AD61A4406D52382489D8A31E307A060DFEDDFB32AA6B21575110ED2F71EEE5C0

Key	Value
FileSize	15784
MD5	927406FD45C4505613746E1C08D40307
PackageDescription	development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	libcryptominisat5-dev
PackageSection	libdevel
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	8062C1E5845BA49B5D25544D07A6F0FAD376DCCB
SHA-256	67EFBFAC4B5C34719790AD0AED92F34B7DE5F0D067C83659E81F162A0E93C493

Key	Value
FileSize	81148
MD5	779F38EC69D0378E98FAD81DFEF7A81A
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.11.2+dfsg1-1+b1
SHA-1	7964A5040E8D4C7985A82C85195CD91F7F4498C9
SHA-256	94F9241D071704CE865A46E1E2230DEC703F58A913A1023A1534C473FE46720C

Key	Value
FileSize	590428
MD5	9B6C2ACCD2569D032943F34DDD2B7A6C
PackageDescription	Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycryptosat module to use CryptoMiniSat from Python 3. See https://github.com/msoos/cryptominisat#python-usage for examples.
PackageMaintainer	Debian Science Team <debian-science-maintainers@lists.alioth.debian.org>
PackageName	python3-cryptominisat
PackageSection	python
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	6794260EC25807B6E281BB1BD3A3B47F87CD3C1B
SHA-256	BEFB97E5D34EBF2507160900672E4A5386E700232A0E7D121F5C30388BD84BA2