| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/oracle/oracle.hpp |
| FileSize | 5084 |
| MD5 | 45F6C78AC77BE5C943B52A1EF7924B08 |
| SHA-1 | 290C833988246A8B8E1A9B636A6DBD0AA70E3BBA |
| SHA-256 | E73908AF69E80E32F92D69BCEFD1C372A2F3E6E97EB61D26AE1AF0F5996C64F3 |
| SSDEEP | 96:giAIw2QHGaOPdwFwr9dNz43GUBeReBeN1E3AGY4wYevep4YhFXV4e4Yeu/vd4dNW:giy2QHDyX9dNzUtBeReBevE3AGYnYev0 |
| TLSH | T1B5A1A68A361055632CF760B7D616B402BA4661D2B188FDD52AFED1086EC584CEFF2C37 |
| 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 |