| Key | Value |
|---|---|
| FileSize | 17296 |
| MD5 | 480C9E91AD17D7A144503A408B645BF5 |
| PackageDescription | Python bindings for the CryptoMiniSat SAT solver (Python 3) CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides the pycroptosat 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.6.4+dfsg.1-1+b1 |
| SHA-1 | 4DCE0E78206BADBD4E884F5388AAD171703106BB |
| SHA-256 | 394FB0FF3CB1E4421E6FF1C783AEC0B5CF9E91081FB44657EEFD536A60F6D179 |
| hashlookup:children-total | 6 |
| hashlookup:trust | 50 |
The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/copyright |
| FileSize | 5949 |
| MD5 | 2678177C4A1AFC2989EE39D23463FC5C |
| SHA-1 | D73279F88920FABD1F6B10C34323E118E8E14494 |
| SHA-256 | 0A6AEC5AD7C49212B8FDC1888A2CBFAF31AE18AE8D79AEBBE832AFAFED218096 |
| SSDEEP | 96:7spA9SYmpHQHFo6g0URHRmuSzbus5BeOFQH+J8:4pA9+QHFwRHRmu/sDeOFQH+J8 |
| TLSH | T1F9C1A5683E408332085003936839D595F37B3257B665F988BE9CE14A5F17A9C9BFBC74 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 218 |
| MD5 | 7177D89FF0463D4F4C13ED82CBB031CD |
| SHA-1 | 8EF9FD5899FADE5FC0353EC85479DE0720532806 |
| SHA-256 | 0CA101D81E56BFACFFEF4B60DCC87EBF077AF6D37B569F024BB92D4F816B5FCE |
| SSDEEP | 3:FttHtpbq5dQS6dPzr7NmEV1NGAPQpVEGtZw2xueTHs66fNLDHIpQQzvX/n:Xtfq5dQp7sAIntNRTMRfpyzvX/n |
| TLSH | T1EDD022CFB5ABFE37B64236B4C8660A04EC164115D268C03CE0123363F8CD8D93A80708 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat.cpython-36m-x86_64-linux-gnu.so |
| FileSize | 31064 |
| MD5 | 5E93F5214EE5CE1A6FB2BD4AEB7AADD2 |
| SHA-1 | A385517FCB9728AA2027700C0406AE281E8314A2 |
| SHA-256 | FFDE661FBC7D3DC8733ECA26B4B7539E50E5E1A80DC80EE5AE5E4124F790CFAF |
| SSDEEP | 384:AvCabLzwMntJUxGv/RJ1PnbxbA/rrlzGIrpoJLACdHMKU0:WCFMfUxGX5xwrrVGIrvGHFU0 |
| TLSH | T113D21B06F6D15CBEC0E5893084CB967176707894C370837B7A88B6392E87F645F1BBA6 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
| FileSize | 234 |
| MD5 | 26954A883162BE88B1A4D8E77D369599 |
| SHA-1 | BE672F8A0B2B96FC8876A94CE911A71F3BAEC69C |
| SHA-256 | ED5ACD5C90B8CC72639D924127687D93BDF48575872D9618CBB52DD57691F186 |
| SSDEEP | 6:XtFPr1SuTVKpQ+p0++B2OqhL9KlX0qLXGmsGN5/n:XnrzVKKB2XuLXRB5/n |
| TLSH | T17FD097C2390CBA3A4C050370D48790407008A02015CED5460EAAB078582E02289B912A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/README.rst.gz |
| FileSize | 2010 |
| MD5 | 3AF3B57F9E02EFF4A629CBC23AE109E9 |
| SHA-1 | D64E03D4AF7ED6036BD97333952D06AB3AFD1F07 |
| SHA-256 | CE947BF91C4549AC3A76A17781BBD8314D8056EE1E2AF123460315F6828DEB8B |
| SSDEEP | 48:XgxRKJ67irFNH1uST/4tUs9rpWIZKXpWmOMQ7CFGNU:s6WirFruugWgFZKXp2wGy |
| TLSH | T166414E4363C2438BD71A528175A54C50BB32D5FC0781C9B3AB9DCCFA57C1E051287171 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat-0.2.0.egg-info |
| FileSize | 6178 |
| MD5 | DFAEA34535E1EE6839089DD0A258E07F |
| SHA-1 | 7FE879F3124466D55E1F725DD578E4B0FA33FA57 |
| SHA-256 | 9EC271CE27B944A73F3EF00A89579C8E7B541A25970167B350C719F6CE0CB4CE |
| SSDEEP | 96:DQN4HEab8F8VN5UGAoWj2Not/g7hs5pvRBmSlLcXvzvPlXEG05+KQImaI:jxaJKWj3t/gtMBblLcXjPlXEF52R |
| TLSH | T148D1D81654C47EFC06E254B164DEE2C6472081AF1A491E1879FDD01C3F53FA0A6BE1BD |