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	13188
MD5	8DE95BD17CB113DC154AD07F3B12A0EA
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.7.1+dfsg1-1+b1
SHA-1	7C2E6B8349BF772090D22B15DA7B37D9DF104478
SHA-256	4DF4CC82D8D711FC1EC3692041D4E46C50993F92FDA1A73734A92C680C38612D

Key	Value
FileSize	86036
MD5	ADE7056984D5D6303BF72557FF4ACCD3
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.7.1+dfsg1-1+b1
SHA-1	2BB1B6A79CAC5F8CE35C93E37DE5598E415075CE
SHA-256	5121139F44014A9A4D3E1F947DD1ED455433DE39F947CB0B65FC308D4DD79A1E

Key	Value
FileSize	379168
MD5	D993AC1E14359A1D72770A647B7A5145
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.7
PackageSection	libs
PackageVersion	5.7.1+dfsg1-1+b1
SHA-1	8799DC18416A17EE810C2EC18D5A7267670591E9
SHA-256	A9D3B95A537D07949186F812AA4E4665521502056FB01E5082311278AC4D0D38

Key	Value
FileSize	17828
MD5	EFA4C24D137310FA1EF24595BC23B184
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.7.1+dfsg1-1+b1
SHA-1	382E78443CBCF304496DBC4FE05575673279A6BA
SHA-256	A0CAC1024D24E780A391D7D6E072B58A8405BF923D5AAE9210D190E7579F1AF1