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	82508
MD5	D1563357BACE574B9C3818CE8AFA8DC1
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	58480C6B836D92D95949944A11C9DF43BFC6EE23
SHA-256	2AE6A126D15EF715AA8869128ECA5798DFDA103083CCFB012498424A1F4E6D55

Key	Value
FileSize	378996
MD5	2B1A4CF3D447DD50537C09BAC5A932E8
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	DF11F776C33432DC542CEF08651671E6CEE87BA8
SHA-256	8C0525F8A391CB98123C090519EA0DC894934A256B2F2843E49306D0272A0D95

Key	Value
FileSize	13944
MD5	D7E528007DA8B16E5F541D864DD9667E
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	14664AB16420EB6F70E04CE5C0F5AEBC5DEF70D1
SHA-256	512D60980A98781A03027F91B815A79B088DD89AF1C1937576F3F698396F0BFE

Key	Value
FileSize	18776
MD5	FD94CA8361B70185A68846F237E14B25
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	D9DA3E1A9CA8D2C214F58DE59F0199F354DD5E21
SHA-256	BB8E75B61048DEE8763DEC960DCFAE8619131DB323A8DFEA5140781ED07FB01A