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	450988
MD5	2FC915FC837797A4F0E08AE63EBD3363
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.4+dfsg1-2+b1
SHA-1	51DA28E5024E542B912986FFDFC1BE3C15466DA6
SHA-256	9E1B0CE9AEABF2263381C230359C42618D983AD140918099B4A01618F0DE3493

Key	Value
FileSize	70876
MD5	C8C6D47A1B25DA4B351C2C714D9A5A2D
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.4+dfsg1-2+b1
SHA-1	BA23736F3EBFAF29DCB5A63BF37BFC8FE732D665
SHA-256	87BAD6704BAE28EE93E4B32105C7767BA80567D5E3DC28E51C841B3A86DA217A

Key	Value
FileSize	18320
MD5	04194CFEA57D88C761AEFF20B7D9BE3A
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.4+dfsg1-2+b1
SHA-1	29964E9119B016E6EE5C372FC611F01530416681
SHA-256	679281A3B1D3B964BD68C133045A51A3FCC9E2128ACA0B026D5FE9D0DC474CB0

Key	Value
FileSize	490280
MD5	5E4F00A0CF627C6B6B05F6CBE92DF8B0
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.4+dfsg1-2+b1
SHA-1	B6F6D53085B6809F2F8675D7B09D2096D5F8BEB3
SHA-256	80A1336EBB263AB7F42BBEC51DBD18CA00A286B8B3A5378CC3D54DE36C9ACBB6