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	88656
MD5	A303C873C1232ABD2F61B6AC0AC1FBC3
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+b1
SHA-1	C78183CB953249886C028E3B766601C34C11FBB8
SHA-256	332B24A4CC44D339EA755D60258EF5F7B5F0D1A4B50574A4D2E39B32D143FB99

Key	Value
FileSize	405832
MD5	12A14D67B4D33E85C1B87DB21A8B8092
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+b1
SHA-1	5F8B0892678A7FB20D58422C84365ED2EDBE23F1
SHA-256	2CC3FC4AB063FD6F07FDC922057FC111A9A8ED2B286384376882F9DF278D38A0

Key	Value
FileSize	17924
MD5	016F6C5E18BF044BD2D84A678175D9D5
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+b1
SHA-1	9076391324F7B6F11D769F6DF4D7B37446BCCA0B
SHA-256	3A93435E43741AAEFA44726A7E6D853FBEF7106D5E443208E4502904197D10C5

Key	Value
FileSize	13944
MD5	5682B2EA2399EBAD25D54D7490705B0C
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+b1
SHA-1	45ED96326E75A84E767F666CF08772F00C0A09CB
SHA-256	3809F4616762B96C90587FC47BD2EDF9A02479E8963EF67C025FCB4309EEDA0C