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	361216
MD5	8518DDAA890189F7D197270D6C280A6C
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.7
PackageSection	libs
PackageVersion	5.7.1+dfsg1-1+b1
SHA-1	5C92FEE1C772E2EC47CC427323AC38CEA3E7E312
SHA-256	F95FF2B7B1E73AE1A8AC3ECDB769647B50491024EBFAA3CB14E0D925A653B4BE

Key	Value
FileSize	13180
MD5	9AEFC039D908524016E35E8D73279B03
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.7.1+dfsg1-1+b1
SHA-1	12AF1D8694C49F0BBE33326DE05137C3273267ED
SHA-256	A362177A318A79483C4324764FCBA2F6364010E5F9E8BED70CE4F5830E7F187C

Key	Value
FileSize	18716
MD5	D7A0B1B89953A114C0638BF4361D3DFB
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.7.1+dfsg1-1+b1
SHA-1	962A46C94832588CD2107A93AC17EF20BF079E55
SHA-256	99EDF16499493F9B14816A74A23F9F90E60C16B1FEB63EE6024B272983D362C2

Key	Value
FileSize	87120
MD5	126435C6204CB3D716615DE575832BBF
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+b1
SHA-1	29BF39E854BCEAD3624A5C3CD7B68606EADD7993
SHA-256	C1917A70FE8729FA445B6364172900B9D5590998FEDF2E65C4B6539C78BF26A2