| Key | Value |
|---|---|
| FileSize | 17824 |
| MD5 | BBE9BDC7EABF39826E3393C67374BD83 |
| 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.7.1+dfsg1-1+b2 |
| SHA-1 | 4BB17172645FBE42EF83EECF0A51F4FB6616C46F |
| SHA-256 | 8EC08E0BA02EE841F1ACDE5D39C47B2D89412E566EF1990E921BD306F0F59EA7 |
| 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/lib64/python3.9/site-packages/pycryptosat-0.2.0-py3.9.egg-info |
| FileSize | 6179 |
| MD5 | 235F5EBACA5D1D4D069F28AE30F026BA |
| SHA-1 | 78367E0F0BB1CD93844A9DB3ADD5B9BE855CF3CB |
| SHA-256 | 9646393D7ACA146920E8EEFE574A4DC9D18416464A21996600BAD394B10E6F50 |
| SSDEEP | 96:DQCHEab8F8VN5UGAoWj2NoD/g7hs5pvRBmSlLcXvzvPlXEG05+KQImaI:7xaJKWj3D/gtMBblLcXjPlXEF52R |
| TLSH | T1F9D1D81654C47EFC06E254B174DEE2C6472081AF1A491E1879FD902C3F57FA0A6BE1BE |
| Key | Value |
|---|---|
| FileName | ./usr/lib/python3/dist-packages/pycryptosat.cpython-38-arm-linux-gnueabihf.so |
| FileSize | 22416 |
| MD5 | B317CDCEB22864B969039741CFD9CDF8 |
| SHA-1 | F5990BF264DA36FFC3772F0B8AB0D2DC3128D642 |
| SHA-256 | 27112016424BCC223A6DBE2E15D817A914644EE847D047BB492B674D9C6DCE3C |
| SSDEEP | 384:Y3qfPCaCBo+Xn+XYphXZTXekPLH+Fpe2+8V8sngg/XOx/+pJLhGmq38eBDRo+:aq4X6qXZze2+F4joRq39BDm+ |
| TLSH | T168A24A98D281693BCCD1B97D501FFE537321C48C92982793A07C546C3E5EAB88E6BA19 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 599 |
| MD5 | 2F501694BDFC0FE97563BECC83CF587C |
| SHA-1 | 50AF60EA49F6B3267026C9B93FB4A4DD27247EEC |
| SHA-256 | 779F5D2F2F433D5CEC30FD8B44BDF3BD214C4EDF39E5FEA3AA517FF892DC457C |
| SSDEEP | 12:XvbpYjexOQzHhPk1UGrRsac2TloDGA6aM/VRhRiw4+YqT5LhRGi7tRt4Q:XvbSe3BPkUORMUoDGBayJ4hqTBhwgt4Q |
| TLSH | T145F047546621BE1269CD09B39D22AFBCD1B691DCCD11C517041F43DF9BF6668DA2C006 |
| 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/share/doc/python3-cryptominisat/copyright |
| FileSize | 6084 |
| MD5 | D52F194ADE4BF736E9DE7FB919995FFB |
| SHA-1 | D162F6EA3D4D4D0E7D93C94FD7617C6EF956E6D3 |
| SHA-256 | A9CA9F2A763FDB0B85B958A82957B9C7EF3966E8963D63BFBD389A0ED0DA74E0 |
| SSDEEP | 96:RspA9Sig0URHtRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9GRHCsDeOFQH+JEQHFumu9 |
| TLSH | T168C1B5683E408332089003D36839D595F27B3257B665F988BE9CE2495F17A9C57FBC34 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armhf.gz |
| FileSize | 224 |
| MD5 | 5D34DF713D0A7F89A9DC969A97BEE912 |
| SHA-1 | 9D5E89825B2A977D87AB0C3BD0435561DBC9AEA2 |
| SHA-256 | 401F6E14489E0FA4FED5023021DAD519364B0D9198778BD7E2F5FF813020D487 |
| SSDEEP | 3:FttLK2E4Re3xK3DSnWGLjwgwg5aW7pDO5c9yGanNu0gbYR6YZ447zlGrVZihlBn:XtLKhcWK3Y0g3xjanQUR6YZ1Pyshrn |
| TLSH | T13CD023D5900F6473D2D17C7A1E8D749AD8FCC14D32C634236B74CCC8C4ABA409A85C89 |