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	80172
MD5	8E8F57B66E7CA7ABC055D90EB8B7DDB8
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.6.4+dfsg.1-1+b1
SHA-1	631B829C6E519F6E26F072160E38A9B9E05A336A
SHA-256	222396EA7D6483C7F6F12E52F6361541957EC4002235FC071A404FE98754E3CC

Key	Value
FileSize	11868
MD5	36EA11981D91DF636389EB99545B1CF8
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.6.4+dfsg.1-1+b1
SHA-1	067ACDACE468F011C49823C11F162CEEFB4380DC
SHA-256	6D681500E72BB17DAA9447D457692F4BEA43C178010826BF16469F2711F007E7

Key	Value
FileSize	17296
MD5	480C9E91AD17D7A144503A408B645BF5
PackageDescription	Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycroptosat 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.6.4+dfsg.1-1+b1
SHA-1	4DCE0E78206BADBD4E884F5388AAD171703106BB
SHA-256	394FB0FF3CB1E4421E6FF1C783AEC0B5CF9E91081FB44657EEFD536A60F6D179

Key	Value
FileSize	370448
MD5	B8C8B2651D24504116CDEA1D08E63BF9
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.6
PackageSection	libs
PackageVersion	5.6.4+dfsg.1-1+b1
SHA-1	D77D6E0E830923E7B0B3BB53A0386CB3FF467D58
SHA-256	EFAC5B344992B24B8E460C6F92E34096FCE3DA40574CE11169BFEEC74BD2E0C5