| Key | Value |
|---|---|
| FileSize | 16804 |
| MD5 | 98AB842E4AB64B3CCEF8C757EC24A618 |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | python3-cryptominisat |
| PackageSection | python |
| PackageVersion | 5.6.4+dfsg.1-1ubuntu1 |
| SHA-1 | F4C8958DF0BB3DF343D97B87AC1CE934451D5399 |
| SHA-256 | 63A06E6F86338A1F7A2D067ED31AE91B6AB36D333B3E8ABA3616FFC92A5F2C30 |
| 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/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/lib/python3/dist-packages/pycryptosat.cpython-37m-x86_64-linux-gnu.so |
| FileSize | 31064 |
| MD5 | 4C22740FB96C281255EB85005ABD1310 |
| SHA-1 | E2D1A8A843FA427330B818F1EDB742CDC2B7ED52 |
| SHA-256 | B9B1EDECEDC473F687EA60D004238A4856F41EF6C81510C5F05D3F56AD86019C |
| SSDEEP | 384:uabLcqMnqZUvd0//Ok5t63txu/rrlzGIbZoJLACdHMKu0:u1qMUUvd0HItxarrVGIbfGHFu0 |
| TLSH | T146D21C06F6D15CBEC0E98930848BA67176707494C370837B3A48B6392E87F645F1BBE6 |
| 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 |