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	402256
MD5	EDC9EE15268A2A37F93A0472E41D81BA
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	E8EED0AB7DD01E2A649A3068F029562A293232C4
SHA-256	5C32EF1563BCB160898D716B790DD68B1CEFCD81109AF8D8FF320783F6DA55CD

Key	Value
FileSize	19056
MD5	A3F48A2C6C5A49639BEF340B2E0875D6
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	14B848B04E81E1B97C25D0F5035DC1E899797A69
SHA-256	5E5B7AD2558177F2BB58D30D668EF44531CDD4035CCFDAE88E62F1CD49565A25

Key	Value
FileSize	13204
MD5	7947D8F29F8EBAE0D9D773DB2435AC3D
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	A47955BB83882F3C456B4E0203B0D5344C61DAEF
SHA-256	745B38E9C9E7F4FADBE90B690B572A7851634F521B7A1E3C7F80BDAD7C1212E4

Key	Value
FileSize	93936
MD5	1F4C0E500572659DF1C54A462BBE409E
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	13113B7DBC8F006AB8B8E9294527F4C721912E18
SHA-256	9D90580091283B7CC76BD40EBAB70C214F1355D44D1C8E14FE1752B8FD9DC2A9