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	387532
MD5	F51A242A4D13B29E2DD06EFD94702695
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+b1
SHA-1	9847CE71B974A1A46A9CF04B3CD6A64744D08C02
SHA-256	569FE9705F42AB1B96F1CF900E91119446C426D46773FE791C7769D7D16EFAF1

Key	Value
FileSize	18780
MD5	3371B98E66BA4F67C62F9AD8754AD158
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+b1
SHA-1	C80EB18B46139DDF9BD5E006EAFE282A5822B975
SHA-256	1EDCE3B13BB286FD1FC13E4F87DC7D65DD3D309F9D59EE72BC58CDAA99EE118E

Key	Value
FileSize	90156
MD5	CDE3FFDDEA5D77C74DEAA651FDC76B52
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+b1
SHA-1	811D64088757BBD7B30DEC3E30133F4962142476
SHA-256	DB1269CA193E581E67832B067F6AEAB6DA16D47AD46AEF985C34322589B16319

Key	Value
FileSize	13932
MD5	302DBB0F7D36CD00D672B4BE96C95F80
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+b1
SHA-1	D3110487D6170F97B49C863057A64C16A6780358
SHA-256	A59FD187E23669A24894AC6F858B8B123A91489400EC83C04B34BB5B949B1211