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	82132
MD5	D17628C586B630F7F077BB159655CABC
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	C87576D5D9D443E822C43EDD9F14CBA68C3DEF03
SHA-256	CB10A551E6EAB1F38CB8585FE601592014907F30DE9F103A4ECF33882F1776F7

Key	Value
FileSize	13944
MD5	8699DF0C2600D8AA1A528179E7A6986D
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	CB58BBCC67E8F7BF751D456828C635458D24BCDE
SHA-256	BCB5909184982B7E7A34FBE5EC0E2F425A1567EF9346DC978EABFC0AE1E6EAED

Key	Value
FileSize	18008
MD5	FE8257807088372A1969FC38D9E60553
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	75F35ED2954C04BD01714EC65D39F3033479A624
SHA-256	18CC9894656629C4D6271FF3F1E4A77175708FE739CA60CAA04754EA1CAFE3B4

Key	Value
FileSize	384732
MD5	686DCAD4E1A192219F8CA845BC5E6192
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	A8328E16721A3EC612386FA9F7862A35F4218C02
SHA-256	B6FCD5DBD1C4801110F522DA7AB82549F9B3BA21F8EEA8E381BB0A8AB85AEA54