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	69060
MD5	65782C824E33EBD87305BCD3303BAFB9
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.11.4+dfsg1-2+b1
SHA-1	F1C405F2431EC0A64C6DC7DBB288226FEE6CB7B1
SHA-256	860D4EA5E93D7306A33B35E8192B2753DB8F53044267A54186E9C7804B4B05AE

Key	Value
FileSize	461036
MD5	D370DAEE78D46B903B1AEC6A4CB17D7E
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.11
PackageSection	libs
PackageVersion	5.11.4+dfsg1-2+b1
SHA-1	C87F89AB9F8AB46B4439BD4ED49A6BC8CF9BF5C8
SHA-256	7912FB7E6A31D689CD68B09391720C4B9EC42107407987FEFDCA9D6561D21A1D

Key	Value
FileSize	18324
MD5	796BDD68E1D0581A22FD9645D5F3703D
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.11.4+dfsg1-2+b1
SHA-1	11F740591EECB38D469E324ED32FE55854FCD823
SHA-256	F406026A95EDB9155AE7EF46CE09DE45809DF53C484EB9EAE7FCA213D95942C9

Key	Value
FileSize	484484
MD5	807CCDBFAF1D0709A744ABCA3F648079
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.11.4+dfsg1-2+b1
SHA-1	46FECE18F5C79C74F382512CCEAD3F5ECABE728D
SHA-256	654AED4821787BFE290110EA924744147FB3B5F2035CCF46AF13175375AF9BC6