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	101740
MD5	21FA98662BF4F6A6CCFBC9113A83AF96
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+b2
SHA-1	1B6B2C5B428B0EC7110E6CA2DA9F7EA8B17A91C3
SHA-256	33749346D12D5A6A5B2809FAE21CB4831A7913FFEEF2FF72EB966D436FB2B15D

Key	Value
FileSize	423724
MD5	65299A361B5A972B0EF19B20100431EE
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+b2
SHA-1	EF84F06377DAE0747AAC866836E7E291893F9F53
SHA-256	5527E595BFFA605B79DC3D0329F2BD1AF7325D76DEF04377D3B07A3D0BCCDC13

Key	Value
FileSize	13200
MD5	7F0B1BF64715033B9FE1592F6C2EBAB0
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+b2
SHA-1	55E6AC59A9D18E5401BEEB0D13C99E10F9A42C7A
SHA-256	88C02B5C3BF2693B430F3958C50D1DDC790D8F2250AD427885D07CD256F09216

Key	Value
FileSize	19812
MD5	0E0E448DFF6C1E30D0E2AD2386503157
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+b2
SHA-1	1A3014E34EC973051610FB7DE4CAD64F9DC938A3
SHA-256	BB91ABF88F70752B78AC7CF8CF3F3EDB1A54E7A01E16A2145E8E553FCFC19143