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	416028
MD5	CF36B82373EB876B91BDF60D0112576E
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+b3
SHA-1	F2AA886B4ACAF78460452CDFA7AB17DA5669C80E
SHA-256	FD51492C1BCCB22836B4854D7795E3EBD831AD493EDA1ECE3E2E59982A7CC6CB

Key	Value
FileSize	13976
MD5	30033905F230B352286EA89058705FAA
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+b3
SHA-1	6FF6963ED4588E8DE01C5D84770704CD876B6020
SHA-256	811860E7C0529DD7603E391BBC9FB7A43C8D096B84A4DED81D7B7BB7086ADBC3

Key	Value
FileSize	88028
MD5	7DD2E3E22252DEF1B3F7A38786E96283
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+b3
SHA-1	0CCD17D64CE401A6D72DDBED9DC6536518F56178
SHA-256	1BECDD5D30623F429640E839FFE4E7F7537E7E7D76D2CB4F00DCF86AA5CAFEBE

Key	Value
FileSize	19152
MD5	BDF80FB8D5B47FF06E813D26C023D3F0
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+b3
SHA-1	B5734D96938AF19FDE1858154ABBEEDCF98109F8
SHA-256	5135ADF1DA3510E6225A11EA1E09CE3564F71631CF524B519202D690607CFFCD