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	13956
MD5	7C0BFF1CF3A9ADA92648642DAAF14CC5
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	6A90FC55C60DE0C9F3176E3B72E138ADED3DB375
SHA-256	667B88375736D711B863E8B5DFB8A270CE082FF6601E6AA5DE0F09F6F36232B8

Key	Value
FileSize	17940
MD5	5BDB791ACE61B6E8C4006F76336067DC
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	919DC2718ECA213C24903902AF15F39DD50B5F39
SHA-256	95FA5B94F6B717B3488988DDA80D9C63B08104229A762DF130DE0D0DC6DAB865

Key	Value
FileSize	79856
MD5	00A17BF11F5602931D5F673855BD02F5
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	8748FE76794D6AB2FA003D9C1D3BAD49A904BA19
SHA-256	B1FAF99FC4E1EA6CC575160DC7D034755AA65C5C9583E05C316D5EDDBA1AE027

Key	Value
FileSize	374464
MD5	DF59221CFEAF7C65F83AFF244B264E65
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	BC496F9B4DA3CAD13F09A6483A97EEFC4BB8F353
SHA-256	DFC5BF61C184DD5E269DEB3210A2BC2852104DFBC03378B20FB0CE3ADEA3FE01