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	13928
MD5	4F982D3071E7DD42EFF108DB61D5D11B
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	E61ABC64F64CE522A20DF52B266C48E1F12E6B40
SHA-256	3672888109DF69DF6200575487D7299BADDDFB7F5447DBE136B109F75D8CF1B7

Key	Value
FileSize	392784
MD5	D58D4A7960E0DAFA7A1F2D90D8FCE3C7
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	249C704EE6A4816C8B73100C225E452932F380B4
SHA-256	4BB0970AB85D324EBE2701A910A2BA71680604D27E3090E343DA634215463523

Key	Value
FileSize	17840
MD5	76D93029537CECE894D8A42808DD78D9
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	241CDB2E248DEF901DB0B0108BF9639D68B48CE0
SHA-256	58E33177CC3DEBAF18EFE6A07D5A22910B26A977544F2924CFCEC5B5ABDBD0DF

Key	Value
FileSize	86644
MD5	BB0DA3E5874639DB2647075B7BAE984D
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	39C46103709BEB4A477A2309E63FA42CC65C6C6E
SHA-256	CACAC202AEC18CB4A7D1F35D7DD02E075C3E77D19B20F5B9230583EA4BD64ED5