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	13940
MD5	8F1DB1FEF894F4C0E58403B16CEAD18B
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+b3
SHA-1	90ED2F0039DC7420216A9818B10BEE702CCAF223
SHA-256	DCEDBC604425BBDC63ABF3F4B27EAC93C5D3AE1AA9806B1C65893F6D71FEFDF5

Key	Value
FileSize	84864
MD5	C1C6D5685E63431955E42F6932FD92DD
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+b3
SHA-1	17C1C656E599505FB5851023A800FFACC8DE16C3
SHA-256	60671654CE33976EEB0679045CD5EEAB2D36CD16B5CC7D9DEF2004A8F957D193

Key	Value
FileSize	414916
MD5	4CFFB0025C497FD75783333F58CDF074
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+b3
SHA-1	67FEE4FF77DE6AA8E13537D474266D2EAB727686
SHA-256	5D4A0FC06502BDDCB4E630E8B4002C7511D1E243D46E6E1530396C82D0CDF8C7

Key	Value
FileSize	19164
MD5	D06AC321F6349908FD2004B7ED3A97E6
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+b3
SHA-1	916D3DC98EF6C45DD7CCA45BFA2BBB944BA1BC0F
SHA-256	44355B4BF40450205F70880604C6B0E725F44055A7709323EDD0CC8800DCC19B