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	455712
MD5	A95D73EF02ED5F1448CFE69CABB90C38
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.8
PackageSection	libs
PackageVersion	5.8.0+dfsg1-1+b3
SHA-1	B0A09A085A5507F3C60A600CBB38F0C5549354C4
SHA-256	A8A8323C91A2B69868FFE3CB34ABAB43B375E208CBBBA97001FA7A4A845C3A73

Key	Value
FileSize	13956
MD5	B3E7C3D94063F69894832393DCD16941
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.8.0+dfsg1-1+b3
SHA-1	59C0B042F1CD887F3B4A41D8B878935FBA8FCC64
SHA-256	D70BC704653F55733EE6A1CD5ABE1ABB35D55182A4E3E22DCFDFA6085F0CABB3

Key	Value
FileSize	20140
MD5	621B63621A5492C4BC42A2C592F3FFD3
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.8.0+dfsg1-1+b3
SHA-1	9CF8F5043A355BC2DD5B1803BE25D3EA1B197606
SHA-256	C16DF2A0E198C08F984967BE1F2D3EF9131C4D1BA8E4CA0595E6F57E2CCA7D04

Key	Value
FileSize	91652
MD5	99C93AA774A5714977C0B191A9553E4E
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.8.0+dfsg1-1+b3
SHA-1	0AC60DD1EB592C5BCE99E330E3482B4F00492C4F
SHA-256	B61BD2087EE020FEBF64D9657CBD3CBE122C73CA9CE929A842745ACC491879A3