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	461652
MD5	F877415FF6605D4AFDA5776F0F4FAADC
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.2+dfsg1-1+b1
SHA-1	D8C3BCE0D78C318A618F17B7ECA50915B1F1C92C
SHA-256	90A0E6B23A63439698E3F45B11B20214490379B5F215F4B83E691090E4D88279

Key	Value
FileSize	484896
MD5	ABBEB39D0DDBE9E8944166C3568421FD
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.2+dfsg1-1+b1
SHA-1	6F3B1DA510D233184B57C8F31DBFC6765852493F
SHA-256	5505B58429F923A2AD8FD4312B303F3F98319074E2777A46630466E1D978DD52

Key	Value
FileSize	15776
MD5	06FA092AC379CD4DBB2458183A8B7046
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.2+dfsg1-1+b1
SHA-1	B694722A85515DED46E20FC2452C45F100346543
SHA-256	A785CD17B7A9CB765944627567574CADF027069D167E2CCBC1016F03D1C3CA4F

Key	Value
FileSize	69168
MD5	60D76947E3536C869E154FD7EA4296FD
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.2+dfsg1-1+b1
SHA-1	470EB4DE65812BE5CFA13E56A16CDB2D22E278B0
SHA-256	69076169A5F1D3F39225E0E7789A1C74E308EF32751692910B69A89308718D14