Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/pycryptosat-5.11.2.dist-info/METADATA |
FileSize | 7438 |
MD5 | 33367DD2C0C8B99BA648482D1143EE0F |
SHA-1 | 841E2BBEBC25DD7FCD86D5D2F67C7A60B258A728 |
SHA-256 | 7C740769F949406E174E9C330E7CC3ADE3454B0064D0F7CA7297B302055AD733 |
SSDEEP | 96:DxOp2XisurQHzoHs+PQImaZ6HEawb9udqc3Nhm5LNyDrc3vTPPxEW651:Y2yZQHz6ySsG9uAc3njDrc3jPxE/51 |
TLSH | T187E1E71AA200B77A0AF20171A5AFE1DDA328819D264A59583D7CD10C3B17FB4E2FF09D |
hashlookup:parent-total | 5 |
hashlookup:trust | 75 |
The searched file hash is included in 5 parent files which include package known and seen by metalookup. A sample is included below:
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 | 474920 |
MD5 | E4B0D79C43E5A6DD874E447B2A68BB78 |
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 | 9B50CA331B9F99AC8A9DF299F91C2A153B9AD797 |
SHA-256 | BBD074D6B597FAD978327E2F7E6F9BAE7C89A1E384EE56138E979675C316D807 |
Key | Value |
---|---|
FileSize | 533096 |
MD5 | A4359D3E62C51B509360FC43C0723B89 |
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 | BDF417A89F2F5D53BD1DFEC6C7394E0CEFC7506B |
SHA-256 | 8467F86B209DD29CB73FF129D37E047E47ABD7FCD3B292FCE36D5AB0EB27BBD7 |
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 |