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	532504
MD5	8A7F3808198D969203E424544E55BB06
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.4+dfsg1-2+b1
SHA-1	3E624FBA24D997024590F87E7EA2D8BDE1139C1E
SHA-256	41A4E6BA837AE43384E7818A3D388A34C493030E5F9529BA0E41AE397D6A4AFF

Key	Value
FileSize	18324
MD5	953E040030CAD531736891EB54A1F7D3
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.4+dfsg1-2+b1
SHA-1	16333DC36D26B2AF098014B4A4723D418067DF21
SHA-256	E5F58554158D7364F19EC1C2006E73291C9AE7AF2BE319C747CDA33576C2A0A1

Key	Value
FileSize	77096
MD5	E0D531FE733833A83078522002DF8E9A
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.4+dfsg1-2+b1
SHA-1	314CE1A1B9126B77226030A78DC35ECAB4CE3500
SHA-256	BFDD6100D338569563917E14639621D62B423A2A90E6FDA2C5C77353C1644E1A

Key	Value
FileSize	502056
MD5	1BF9B9FB74F1BF9FF219145168D12BBC
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.4+dfsg1-2+b1
SHA-1	02823D514D4B0BFCF7D8A1683BC73AFB839A2B5E
SHA-256	0B42CD0874346F85A537C676A30517324D4911A7CA408E2CE503299305FD56BD