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	17780
MD5	6F6FA4717DCEE1B9B19453D26ABEC69D
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	FB4A6289B3465B9EA463659F2355D9C0C98E5BD5
SHA-256	CCC69410C02057EF5BBDF8D46EE8F0E8D6E88591D492B32770D18CAB9F33D12F

Key	Value
FileSize	13176
MD5	264725FBE0669A622140536B87532DA9
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	B16D288B2C35ED134520AA148CB79BB77AD78371
SHA-256	453ECF27435071037C62BD864162B4962B2476C9D09C03AB58E262B792CBF22F

Key	Value
FileSize	84068
MD5	E602DCF9A854BA3575F5B65E9CFA6C18
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	248440E3836D546551C8B6BD36EE8A56AEC60382
SHA-256	85911ABE9FEC6966D3AAEBAF50418B7F270028E05F5DCF724F9DF7D890D19E41

Key	Value
FileSize	367340
MD5	95F1C7F86500FA2EAD7784AEAFCD4EB5
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	46FC6DE9959D2BB55A747F1152782258BF1D50FA
SHA-256	8E341896D894E7ED9143C6B4187C89B445F2E6CBFA08F8A7D4ACF74B24F0D0A3