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	13964
MD5	6D286458E352462E037FA3DA14854881
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+b2
SHA-1	D0AC638A945A2113FDB78A9D28D3959B35871406
SHA-256	1B57513D8B228A60C1F3D90D89B09C02C811AD22C5D66D4B0DB1F44442C8A740

Key	Value
FileSize	19132
MD5	E97FDB79CA563AE93DD9C4662154BCBD
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+b2
SHA-1	8DF3C6CC3EAC12A28DFAE367E2A316B8D84CD393
SHA-256	E94F3B563F0B0CC9EE6EEE2C1DE5F5DD7CAD4DA61B11AD326F5223676A14271A

Key	Value
FileSize	92420
MD5	3E8FD2F5412F41CB80BC0B399F7ACF49
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+b2
SHA-1	25F443AA0D6DDA3E6CD90AC9FD63E97B31F55408
SHA-256	5CDBFAD30F7536828B303062EAE606BC32C979430C434947A3E8CD28D9E15D77

Key	Value
FileSize	415988
MD5	EC5440AB4B24C1B1F7B48BB051CB89F2
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+b2
SHA-1	2C2F877026C10AF634D1130DABE21C170CF80F91
SHA-256	7660BF33C6E1AB2AA9305DB277530CBEB834C97C1C547DF97BC09BAA0C7E92B8