Key | Value |
---|---|
FileName | ./usr/lib/python3/dist-packages/pycryptosat-5.11.4.dist-info/METADATA |
FileSize | 7452 |
MD5 | 98DA464DA2DD140FEA8B9F3D31F13991 |
SHA-1 | 1BC470C0753B3F66D635391EF198CCBC2C47B96D |
SHA-256 | 8EFECE9F7B2804553B2B3419C7FF8C6A1C4E7D73A2300AA84BB1C83A45C0A559 |
SSDEEP | 96:DxwP2XciupQHzohsAQImaZ6HEawb9udqc3Nhm5LNyDrc3vTPPxEW651:S2MdQHzusSsG9uAc3njDrc3jPxE/51 |
TLSH | T11BF1E71AA200B7761AF20171A5AFE1C9A318819E265A49583DBCD20C3F17FB4E5FF09D |
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 | 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 | 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 | 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 |