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	83332
MD5	56C9775143608A06EEF38801B10D181D
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	329B9C571F6D36C24D981DB0BFBC9E2E8F5B83BA
SHA-256	C6C5D18BF860F23A9315ED059AC6B6B1E15A706F20AB234782373FD13ED16759

Key	Value
FileSize	13944
MD5	9DD55024FD9C52758B2BC6F24497054C
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	F85FF2A7C30885119F1FC05B612BC9F9811E0C35
SHA-256	BEC0BD430819B26375D5386997ADD23D4C11599869A2057678DC77DC4011FC91

Key	Value
FileSize	381344
MD5	58A2A1E487C2B5D4E058C3F6C4C0DAE5
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	1CE94F121110DF9512F0C1A91716E1D70486E62D
SHA-256	CEFFC9222A62A5715454138398D7000ABD66B2CD16CE2F3CDF939D0AEFE2F32F

Key	Value
FileSize	18664
MD5	92E906956D555502BE36A5987A82806D
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	13B6DD34E2FBE26A5B2A6D4B506FD6F8B5544201
SHA-256	33ADD66A09CA8F4C168EB18DD0E58CD4AA7EC287D116A97C867F9AEBF39A0A83