Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/top_level.txt |
FileSize | 32 |
MD5 | A49455C36FF29E8E6E3E62B3A71C31DA |
SHA-1 | 08A8BCF587C1B3AFEDA6178BAD9AF09B6B636B1E |
SHA-256 | B28A3AE4956B44CF2E198CE157BF55A297657FC21C843C6108D2725BFF147665 |
SSDEEP | 3:rTGNGONIV9:H0fNs |
TLSH | |
hashlookup:parent-total | 10 |
hashlookup:trust | 100 |
The searched file hash is included in 10 parent files which include package known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileSize | 532504 |
MD5 | 8A7F3808198D969203E424544E55BB06 |
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.4+dfsg1-2+b1 |
SHA-1 | 3E624FBA24D997024590F87E7EA2D8BDE1139C1E |
SHA-256 | 41A4E6BA837AE43384E7818A3D388A34C493030E5F9529BA0E41AE397D6A4AFF |
Key | Value |
---|---|
FileSize | 589572 |
MD5 | 165F757575FEAC03095B164B101E6AE7 |
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.4+dfsg1-2+b1 |
SHA-1 | D99A05346ED6E95C6EB868AFB9E8CEA6B3FE2A9F |
SHA-256 | BEEBD1251B792AACCA420C48186D230482BDB5431F7E97F6F3D821DB209782CC |
Key | Value |
---|---|
FileSize | 473156 |
MD5 | F8AC894E4BC2F4E70373B78A3ABC87B2 |
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.4+dfsg1-2+b1 |
SHA-1 | 7AE7B6DB64D5B1235D8576EEFC8EDC11C654B6DC |
SHA-256 | 85450F038D6E2C4052B2CD1FA9FF39834301459873AF5FE5253CA87C603B18DB |
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 | 490280 |
MD5 | 5E4F00A0CF627C6B6B05F6CBE92DF8B0 |
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.4+dfsg1-2+b1 |
SHA-1 | B6F6D53085B6809F2F8675D7B09D2096D5F8BEB3 |
SHA-256 | 80A1336EBB263AB7F42BBEC51DBD18CA00A286B8B3A5378CC3D54DE36C9ACBB6 |
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 |
Key | Value |
---|---|
FileSize | 484484 |
MD5 | 807CCDBFAF1D0709A744ABCA3F648079 |
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.4+dfsg1-2+b1 |
SHA-1 | 46FECE18F5C79C74F382512CCEAD3F5ECABE728D |
SHA-256 | 654AED4821787BFE290110EA924744147FB3B5F2035CCF46AF13175375AF9BC6 |