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	474920
MD5	E4B0D79C43E5A6DD874E447B2A68BB78
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.11.2+dfsg1-1+b1
SHA-1	9B50CA331B9F99AC8A9DF299F91C2A153B9AD797
SHA-256	BBD074D6B597FAD978327E2F7E6F9BAE7C89A1E384EE56138E979675C316D807

Key	Value
FileSize	443804
MD5	AE32C26ADE540099F6236B268DEEE103
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.11
PackageSection	libs
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	313B406B3996B927086746E58E08AFFB03E82ED7
SHA-256	4ECB5163535F54089C5B4232F0B77B251D4C027CFB4AB85DC4ACA8445FCCA226

Key	Value
FileSize	67432
MD5	CEF451C75A27C67157BD85B14364FDE4
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.11.2+dfsg1-1+b1
SHA-1	A180EC62EF5E028222EB877D4C4EEDF581C4523C
SHA-256	7954B3A1B99C5F061C9278667285853775D38FF4FCF16011C06BA1DF805246D3

Key	Value
FileSize	15772
MD5	07D945772D43EE8E8C161607236057B9
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.11.2+dfsg1-1+b1
SHA-1	86EFA1DEAA4EBBD8C274C02E675AAC461BB8B11E
SHA-256	94DAD3825B6859415A795968BB17F2CF77D31B6E105098A3C78F7DDA854B64AE