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	441940
MD5	AB066C3857A1435E4B98A17766510B99
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	C13D9E13C7A4059B5246E85AC8EB03E1C2C2AD00
SHA-256	49BC2E757065DE49554F3478C969E2A0F105574543C4E3BA556155A1CE2A3EBC

Key	Value
FileSize	13944
MD5	4283BB06CFBB98889E29BF149F19AFA0
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	7640A31128EC577BA0CE0F6CB823CD56B0692F69
SHA-256	414830C31FA48708FF8DE3B2FDE281BABC993ECF4EC2CB4D6B5AAC51C339294A

Key	Value
FileSize	93104
MD5	109C6093988DD858067CBF77AC94037A
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	1370B27CDFE9BA1E715FF3611F3E01F3CA7F5E38
SHA-256	98D30C612EBCE37C14ABEC8545E8F38014656BA971178A50CE5C23EBE5400D39

Key	Value
FileSize	19944
MD5	80F86393C5B1CBBB56D7220C13D70E77
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	D42B88EA8FA6B8F4CA5E21E289E1147B21304AAF
SHA-256	5FF9E8821BDE7A11B4D25AC3AE7E8B9250D29C0A6C738F75F05D448E6FAAF5A2