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	384512
MD5	612405173FF511E1277D3C8A035B90FA
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+b2
SHA-1	9560C31F6722667B8BBBB8712264DE21D2C80861
SHA-256	C3C843F3C26D5C1E03AF004A27313F55372410C73A41805D4F11561318338BE2

Key	Value
FileSize	83596
MD5	2B28BEEDEF4751E8E79C70D8B88F44A7
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+b2
SHA-1	DA591158C3C86543989F38B2CD3FE4AC860E66D6
SHA-256	F4032C0BBCCF22EC00634EB002C6B2CA4779877519262294974020DEB76F3E5F

Key	Value
FileSize	13948
MD5	D9D1FB3832CC1E99E906574DDEDEC981
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+b2
SHA-1	2D2F07610CFB5AFEC233AC17BDDDBA470FCB0BCB
SHA-256	EBF7EA87868F954305E41FEB2ABFCB7725A0D9B10DAF62880FBA1FD8E1F4460E

Key	Value
FileSize	18004
MD5	D1D96B40B8421688D7148C7DFE101F14
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+b2
SHA-1	3794D8A694FB741A3A32302843C3F3183625A0A0
SHA-256	865ADE45D4F29903DFB83DCD1D6FD4D5D82C75B993019A6D4AD67BAA2C785574