Parents (Total: 77)

The searched file hash is included in 77 parent files which include package known and seen by metalookup. A sample is included below:

Key	Value
FileSize	91652
MD5	99C93AA774A5714977C0B191A9553E4E
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	0AC60DD1EB592C5BCE99E330E3482B4F00492C4F
SHA-256	B61BD2087EE020FEBF64D9657CBD3CBE122C73CA9CE929A842745ACC491879A3

Key	Value
FileSize	88028
MD5	7DD2E3E22252DEF1B3F7A38786E96283
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	0CCD17D64CE401A6D72DDBED9DC6536518F56178
SHA-256	1BECDD5D30623F429640E839FFE4E7F7537E7E7D76D2CB4F00DCF86AA5CAFEBE

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	93104
MD5	109C6093988DD858067CBF77AC94037A
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	1370B27CDFE9BA1E715FF3611F3E01F3CA7F5E38
SHA-256	98D30C612EBCE37C14ABEC8545E8F38014656BA971178A50CE5C23EBE5400D39

Key	Value
FileSize	18664
MD5	92E906956D555502BE36A5987A82806D
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	13B6DD34E2FBE26A5B2A6D4B506FD6F8B5544201
SHA-256	33ADD66A09CA8F4C168EB18DD0E58CD4AA7EC287D116A97C867F9AEBF39A0A83

Key	Value
FileSize	13944
MD5	D7E528007DA8B16E5F541D864DD9667E
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	14664AB16420EB6F70E04CE5C0F5AEBC5DEF70D1
SHA-256	512D60980A98781A03027F91B815A79B088DD89AF1C1937576F3F698396F0BFE

Key	Value
FileSize	84864
MD5	C1C6D5685E63431955E42F6932FD92DD
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	17C1C656E599505FB5851023A800FFACC8DE16C3
SHA-256	60671654CE33976EEB0679045CD5EEAB2D36CD16B5CC7D9DEF2004A8F957D193

Key	Value
FileSize	381344
MD5	58A2A1E487C2B5D4E058C3F6C4C0DAE5
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	1CE94F121110DF9512F0C1A91716E1D70486E62D
SHA-256	CEFFC9222A62A5715454138398D7000ABD66B2CD16CE2F3CDF939D0AEFE2F32F

Key	Value
FileSize	17840
MD5	76D93029537CECE894D8A42808DD78D9
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	241CDB2E248DEF901DB0B0108BF9639D68B48CE0
SHA-256	58E33177CC3DEBAF18EFE6A07D5A22910B26A977544F2924CFCEC5B5ABDBD0DF

Key	Value
FileSize	392784
MD5	D58D4A7960E0DAFA7A1F2D90D8FCE3C7
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	249C704EE6A4816C8B73100C225E452932F380B4
SHA-256	4BB0970AB85D324EBE2701A910A2BA71680604D27E3090E343DA634215463523