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	19808
MD5	0650AF17079EB46D981322757A360BFB
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	AA984D59BEC8134923E5E2F3FE1BE4FE77C65808
SHA-256	836F6C92AE2F453C73D4AE84BC1EFF60743C5496D7444CD30BEA5D40EF50080B

Key	Value
FileSize	13192
MD5	EB8BDCEA9267EB9638633C5DF4547619
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	ED10403915649B35B1531D60FB3C1C11AB8C966A
SHA-256	5CEE45F611F8850DE9EAA2203CEBF30BAFCEF2F7F85746933CEEAA5213C0B68F

Key	Value
FileSize	423848
MD5	ED28CF1FB904619CA88E3C9B254FC277
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	E32A07365F4CC3341C326536EEC418AA218670FB
SHA-256	723295D05765ABEE54406F43A9DC3E18E455CBE2BD6A66BAC950D2871C189C12

Key	Value
FileSize	98808
MD5	D7F0A02D1A75C76D21EEE1C6D281296E
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	C95C06273317C834B248E874CD94AE45AC89FCA7
SHA-256	9BE0441CA5D93DA9690FA044FDB1988FDD6B0C07FBF3FBC482B57AA1802415CC