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	86548
MD5	A90EF3AE1476FD067AF946C089B61337
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	1E4D62AEE8C87AF9C091604BF4D7A0376287E034
SHA-256	D45E00283158E94174340DFEE813FEE005B95033533C7ADB9E8138FEB97E6078

Key	Value
FileSize	366500
MD5	9836A513527556B96C0E01B095E80C97
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	C10949B8CBE224ADE1754110F8B092B3AA865E40
SHA-256	782C50941FE8DBE21328F9C3F276D85593D69CEEF6788C3F94D0E66F1A465BB6

Key	Value
FileSize	17792
MD5	8E31A3763645DEEB36686199D4C9F8CE
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	196B013C7A98B0DA601256CCE58CC87BC6B5DA69
SHA-256	58357C1C7261C4FF037063AF4969E2D757773434643DAAD4DBCF51DBED18CBAF

Key	Value
FileSize	13192
MD5	9D012B494028494A2380A6121E72D9B9
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	06DE3261B8A223FC68DAB264864C4349774E022C
SHA-256	9F0630FAB833A564ABC78CF067CAFEA63E6E1731477E91C37E35ACBB1D7296AF