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	19236
MD5	66CDF5317D8D5E84D9421E8D3686DAA5
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	F78AD74DFC4D6BB9A71D059DA7BD3A587597C844
SHA-256	2AE8E0B5EC68EBB882CADEE71130650EBFD075B15B526BF5194831299B277CD2

Key	Value
FileSize	398356
MD5	9DB7984D1E836F1CDCEACECF296947D5
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	4B7579FCD2F1853401B30F3C3A189030BFF0E029
SHA-256	5DB66775B1A768441438F1C514E539E43F03A93B5DFE158882B3D0FB87ABE0AB

Key	Value
FileSize	82564
MD5	E81736E1A1BB3BA34F04876F50DA7DBE
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	F85124E305BDE77CACB6C901111EC766A4C148E6
SHA-256	FC1A0C9D6C46E9E935AE19BDCAE448694A11E07C4B0DFC9040A18CE5B091C37A

Key	Value
FileSize	13952
MD5	05C8B387604F3DB052FD79F154D9F174
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	3D1AD8C2B4941CB4FA89232895C8E8F3D3082FC6
SHA-256	2AA34AD514A4445B36A4E2308AA79F2EEE61CAC7A360A387329BA864267D56B9