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	90268
MD5	74043A82E6CA98F923A345C0DFFBDB2F
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	5C21EE4E0F8CB339C153807CCAD1015538BEE8C8
SHA-256	7AB42A860DAAB86E9E7A2CB18AC0B30D3E3112C752C0EC2545F237370E38AB44

Key	Value
FileSize	13196
MD5	45E6D297E9A37D9D454D053C051555EA
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	2129127D9DD40F50653F5D9154617695A1BD1F77
SHA-256	48FE9662A2563C26B1107F81C945FFD7C8DD79789DF2E11AAC029137A79E4BAD

Key	Value
FileSize	361228
MD5	6B5A0108264194555B16D9ACE4D21064
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	C23CCB7FAD4EBFF174C4C63D0AE8E86AD89B03AB
SHA-256	846EC49542C5492602C73FD15D67F465220C31AB98D762E6C2D74D470D280E15

Key	Value
FileSize	18728
MD5	AE32BCE541BC76F0E04EAAE1F1A35693
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	0D68912F4515C568D3B40A994BEFCEE499D9E388
SHA-256	0D883CDDB004471DDE56F8270665415DC2C10FB68B44643392C75B56FA64E061