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	379048
MD5	F8106B0D85FC7D387B0FABD6E7F6D2F3
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+b2
SHA-1	AA7FF5596C0A0BE9E19AA67A1BFF1F6B978D6E2D
SHA-256	CE24E99AFB8206A56A1F89C5829DA74A5A891BB0AA224663920FFC4FC0BF6930

Key	Value
FileSize	86896
MD5	5326F3B0754C669C963919B770E4C731
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+b2
SHA-1	0D05BF9AE969166B11FC96A8B486ABF099CD9341
SHA-256	45CB8401C3DD1890678DD71C52EAD811B33EA6BE923539E31E1457F2564CACBA

Key	Value
FileSize	13944
MD5	9D2FEB57053C04D091DD6C28544A42A9
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+b2
SHA-1	EFD2930E6347DB7044CD5A9BE6CF4AEFA5FF3148
SHA-256	7607610D897C1F401C92E94E531A50442E3A6C803DF4CD45381F497416751AAF

Key	Value
FileSize	18784
MD5	91711AB97C295A0092DAA3CD05E3351F
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+b2
SHA-1	5EEC9D1C185A7CE7CA4E85A5FB1D40973A5738D6
SHA-256	3CE63D488BB96621CB9556211865296C29C79D3A7A408980FDDD9BC3127BCA6D