| Key | Value |
|---|---|
| FileSize | 18280 |
| MD5 | 34DDE2C8082BEDCA0B23356DD4A43B18 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | python3-cryptominisat |
| PackageSection | python |
| PackageVersion | 5.8.0+dfsg1-1build2 |
| SHA-1 | 5622B9F6A803EA4F77CAE142E9E056B03EB2CDB1 |
| SHA-256 | 4DA729891E58820FD2ADD0467F0A171F7C8F21A86020D5FA6B649E130A4C1779 |
| hashlookup:children-total | 4 |
| hashlookup:trust | 50 |
The searched file hash includes 4 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat-0.2.0.egg-info |
| FileSize | 6179 |
| MD5 | 48DC76192947542D56C8F1182C5A7EEC |
| SHA-1 | E67AA9B80EB9E40BBB8888EDDBC2FB17267AF9EB |
| SHA-256 | 3798B27A058C440300794AC4A8D21BCA975B7B03933F0B16285B8DEEAE7262A8 |
| SSDEEP | 96:DQYHEab8F8VN5UGAoWj2NoD/g7hs5pvRBmSlLcXvzvPlXEG05+KQImaI:BxaJKWj3D/gtMBblLcXjPlXEF52R |
| TLSH | T144D1D81654C47EFC06E254B174DEE2C6472081AF1A491E1879FD902C3F57FA0A6BE1BD |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/README.rst.gz |
| FileSize | 2009 |
| MD5 | 2FCE39E4975099BE2BA410E9B2D3253C |
| SHA-1 | 7B8BA155DB9E981E3B78A048ED9B79F1CD7BFAC7 |
| SHA-256 | 4229174C2B709628731FCBF0A2547B03CC24AC0D5A4CFE5B4EB8D150A1241E3F |
| SSDEEP | 48:XgxRKJ67irFNH1uST/4tUwzjHTo+vg8rLrvr:s6WirFruugWwzjEwj7 |
| TLSH | T107410CC5E3439B59627FB22116B0C2607F25E1E00244D5F7B747448EA5A5B741186072 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat.cpython-39-x86_64-linux-gnu.so |
| FileSize | 36080 |
| MD5 | C9B0B47F0E59302CA589140EC2F5DA75 |
| SHA-1 | 5673D427D4C377FE05FD3C07435A9C8AA266F1C8 |
| SHA-256 | 0DE6678D604392C2FF85BFDA395C7DC2B9A3A9D3A9EF24D05EA52B20F97E049E |
| SSDEEP | 768:23bQg9stogrD7TLjbzrD7TLjbzrD7TLjbzrD7TLjbJBeWum+2OGeWum+2OGeWumq:2sIJ18qj |
| TLSH | T1E8F2FA1FD0810D7EC4D1A531CA8FD6635370B454E230076F2B58AA3A2E97B698B7FE64 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/copyright |
| FileSize | 5927 |
| MD5 | B465BED9AFD3E99415A13348200C0110 |
| SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
| SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
| SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
| TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |