Parents (Total: 20)

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

Key	Value
FileSize	502540
MD5	02F0ADE2CA812471AA82569C28305E3A
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.11
PackageSection	libs
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	097F8DD87A5442FC35CF0127D83A024056E631CE
SHA-256	58CCFFAAE73CDD5DE57F014710E7A5F14D1A4525FF446627F91655F6C5F56DCC

Key	Value
FileSize	528708
MD5	22AB31FB6D049596A4A5698595C228B9
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.11
PackageSection	libs
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	0DDD0117A07CBC119FE3AF8D4E3EA91BF50CABCE
SHA-256	AD61A4406D52382489D8A31E307A060DFEDDFB32AA6B21575110ED2F71EEE5C0

Key	Value
FileSize	443804
MD5	AE32C26ADE540099F6236B268DEEE103
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.11
PackageSection	libs
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	313B406B3996B927086746E58E08AFFB03E82ED7
SHA-256	4ECB5163535F54089C5B4232F0B77B251D4C027CFB4AB85DC4ACA8445FCCA226

Key	Value
FileSize	451460
MD5	F451DECF97932C9903363EA2E61DCAAE
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.11
PackageSection	libs
PackageVersion	5.11.2+dfsg1-1+b1
SHA-1	3A97D99D6F60FDDB7FD4AF7F226C348D9A675640
SHA-256	D80AE4E6B1E6A457506BC25F91CCB7F7651FE744FFD92F92121B18D9B97D4BFE

Key	Value
FileSize	69168
MD5	60D76947E3536C869E154FD7EA4296FD
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.11.2+dfsg1-1+b1
SHA-1	470EB4DE65812BE5CFA13E56A16CDB2D22E278B0
SHA-256	69076169A5F1D3F39225E0E7789A1C74E308EF32751692910B69A89308718D14

Key	Value
FileSize	590428
MD5	9B6C2ACCD2569D032943F34DDD2B7A6C
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.11.2+dfsg1-1+b1
SHA-1	6794260EC25807B6E281BB1BD3A3B47F87CD3C1B
SHA-256	BEFB97E5D34EBF2507160900672E4A5386E700232A0E7D121F5C30388BD84BA2

Key	Value
FileSize	490160
MD5	496FEC3138E31B68D1A39FD4FB567E03
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.11.2+dfsg1-1+b1
SHA-1	6E7C67582BA06ADED86C8578E58D8DAFD61B7A0F
SHA-256	63F0B5021561BFE9744C588FF2DC6302DB2CF857C50238811114043DC2F9C0C9

Key	Value
FileSize	484896
MD5	ABBEB39D0DDBE9E8944166C3568421FD
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.11.2+dfsg1-1+b1
SHA-1	6F3B1DA510D233184B57C8F31DBFC6765852493F
SHA-256	5505B58429F923A2AD8FD4312B303F3F98319074E2777A46630466E1D978DD52

Key	Value
FileSize	81148
MD5	779F38EC69D0378E98FAD81DFEF7A81A
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.11.2+dfsg1-1+b1
SHA-1	7964A5040E8D4C7985A82C85195CD91F7F4498C9
SHA-256	94F9241D071704CE865A46E1E2230DEC703F58A913A1023A1534C473FE46720C

Key	Value
FileSize	15784
MD5	927406FD45C4505613746E1C08D40307
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.11.2+dfsg1-1+b1
SHA-1	8062C1E5845BA49B5D25544D07A6F0FAD376DCCB
SHA-256	67EFBFAC4B5C34719790AD0AED92F34B7DE5F0D067C83659E81F162A0E93C493