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	17936
MD5	F00DC8B13975B519F9B2620851C65987
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+b2
SHA-1	A0F7FCE525B0D3FC2EB4360265227A7D7F490B32
SHA-256	55EA11F4381086E61E950408F99F0171CECCE781A45EC211F1DE85360641716F

Key	Value
FileSize	13940
MD5	469399035104C6B6DB280147994BF9B7
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+b2
SHA-1	FF613837E943E5B66379B7A8CF4253195F44445F
SHA-256	CE6A39298656B73FC36D95D5FAA725FDB1FB5C01453B8B9C449501F8C98744D5

Key	Value
FileSize	82196
MD5	5B449017B118F171853B92DA1B062284
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+b2
SHA-1	6B7A060E7512D9CC4777F362627263B57448EE5F
SHA-256	D646ED0A6900A36813FA71107DD0C8D17CD7635C191317192D90F22B00BFCA1F

Key	Value
FileSize	374832
MD5	12539E8FA364FD70B90A9A11F3E9C394
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+b2
SHA-1	4D2693E86D88C8E31AF7CAD5059507C5532858EB
SHA-256	A8354C600FEF8D9E2AE68E7F6B2085C7BCF755CC22A1D804263D3BB7B1224AE7