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	19072
MD5	A5229E9D28A0093B4A567488D5AD51DA
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	C6B570B3637680E61D2D9324168E53A138D12713
SHA-256	C7101C12236BF4AD2D85D6E01B2E135A03A104758CD93E10E9FC3D8A06D56F82

Key	Value
FileSize	402232
MD5	94FA62E496F5E8919905313128EC2F5D
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	9A35D7D085FE6F7DA3AFD3E67C81093129134995
SHA-256	76A7B1E5BE70B1197790BC3157DCCB352367A78510877235358E03CF39ECE034

Key	Value
FileSize	96916
MD5	01C49E555680DE16F4462C0030B4CA70
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	594A4BE87C315C1430AADADC8CF42D0B668FFB85
SHA-256	D09CCDD7003E7762BB766AF08FAC12F1B0631AB816750D39386F56FE1364FADC

Key	Value
FileSize	13216
MD5	6C6899D007D168995980AE647B8A6A81
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	3C19E068B7CBB5424654055A9770FE0707580770
SHA-256	2CC55426DC31BBFAF232ED04D1D64E578BD57AFEF8FF15CD1F084C592D6CB2FF