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	18316
MD5	9699CF46E14CFE6053B116A71EC4BB42
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	744AA0863B4268CD506D5BFFF770140916E1BD38
SHA-256	3718359451919CF29A2C35468DDF6F5BD681712A31D07897C55944F40A66DD7E

Key	Value
FileSize	589572
MD5	165F757575FEAC03095B164B101E6AE7
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	D99A05346ED6E95C6EB868AFB9E8CEA6B3FE2A9F
SHA-256	BEEBD1251B792AACCA420C48186D230482BDB5431F7E97F6F3D821DB209782CC

Key	Value
FileSize	81072
MD5	C5A1F31FAF95CDF20BCBEC00AB603FB0
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	F6E17074278908F266967FB82E14927B6B25F2ED
SHA-256	21C9ED0DCE427F9DD7F79920B4A0FC6C101CBD4655A664F3CF2F4D24DFB59627

Key	Value
FileSize	528160
MD5	F7235EDEDC40F89640C361DAC80338A4
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	4878C757EE549B3C4DE4C06C48F094A5B6358C3A
SHA-256	7FD84537D2328A95F129A5D7C59CA8FFB232C83D9A8F674C79704687F48E6A84