| Key | Value |
|---|---|
| FileSize | 88328 |
| MD5 | 55FA1AFCBCED4DEA4457E5B559D3CA96 |
| PackageDescription | SAT solver command line interface CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides a command line interface which reads SAT formulas in conjunctive normal form in the DIMACS format with the extension of XOR clauses and decides whether they are satisfiable. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.7.1+dfsg1-1+b2 |
| SHA-1 | 9DB83C61CD769D29C61D96A09144148E27405045 |
| SHA-256 | 0578D729E6A57BA8171B8ADB01A54DEC24233FEEF2C16EE158A31B4D29815763 |
| hashlookup:children-total | 8 |
| hashlookup:trust | 50 |
The searched file hash includes 8 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 186008 |
| MD5 | F096367D96DF578D90B9469BB13E0608 |
| SHA-1 | 4A99306D414FBD3BAAE96F7387D320AB3FBC3AA2 |
| SHA-256 | DFC49976C9F03A5A55F87D1046427094C3E588C875279CF4E077389AA0C589B0 |
| SSDEEP | 3072:3FFwIAGbnJRIqSlxEWFOIFXJmvDYLTfaugKeR5rJ4QTIc07mZvD0nnjUmUReN41t:OkJRIqSjbFRFXJmvDYLTfaugKeR5rJ4K |
| TLSH | T1D8046C967D83CCA3D8D319F0305B6AD552616CC15965C79AC80888BD4BE2FEDE43FBA0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 629 |
| MD5 | 728CF08EB6441655D30B70317C529304 |
| SHA-1 | E05036934ECDDAB1F19ECC9448C11F90F62DA1DF |
| SHA-256 | 8CBDF8E2567CC8786277748D4497762D817E90A17B3423D55755F3A08B3217FB |
| SSDEEP | 12:XUiPA41FoH16SzHQh3maxrb8VFXnmaA+RzqU2X23yk3W66xv41+srBx/VE+P:XUsAuoHDzH43hPEnmj+Reoj1rBx/VEi |
| TLSH | T13AF0622204370A1B832922897F7C59672DBA95A1EDB205CC85E419F4FCF3766E325C5C |
| 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/menu/cryptominisat |
| FileSize | 139 |
| MD5 | 17B1D942DB0FE666B31CF8CCF9E1F8D2 |
| SHA-1 | B308DB947BE4FB0101D9FBE8D0230577FDC587B6 |
| SHA-256 | C3248C1578AE06BF54DED92D194B2B6CC6B3DC404B6E7E3AD5C90A43AB6BB775 |
| SSDEEP | 3:2RGURKxLMNMfxAxmRMQfVwGERMQWYHOXLMNHF2uHKL9JcViLMNQP:GGUsxU2TwGd1XUHwuUvcMUc |
| TLSH | T1A8C04C81957AB6D047F255B2A73183514695D02914539E6062F06404C996165610263C |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 6058 |
| MD5 | 8BF5B3F7F1D4238A53BF76BB1898D5AD |
| SHA-1 | 40A5B2CFBDE9AC565B4167C018F227993D74FC83 |
| SHA-256 | 1143E1F976E63E126B3AD43E357708F2CB04E1B01E31CC08FFCFC1109F0E9CCA |
| SSDEEP | 96:vV1yZg5f5mBogaVOQ2wcVOhdHZ0HC8NrRPFLcFY+o9dsFS6XmZ+v4CII7HjV4h5f:tMgf5mBobVOQ2/aJSlrRPFLlsS6Xm8lO |
| TLSH | T1ABC19F0288ECF8C306BA90186A95D4C62607B3FF64AB8D51271B325174FD45EDC71967 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 34400 |
| MD5 | AA435248A1D1DE27C9A526B53F60A6A2 |
| SHA-1 | 82BD98EA2D8D08ADBF8FBE0FC493084080944670 |
| SHA-256 | 1F643751E2F7D6C1ACAE28E7DD53596D4D294D153131A409D76331264D78CDB8 |
| SSDEEP | 768:LNRv9GyV2p/3Wm6crKX6YpURhg41O2gIkL/nItEqfRx6tDrck/BaE:nv9pCPRqu1kL/nI9fRxqHW |
| TLSH | T135F26DD289DB7D73C4E6A378A0776E016A73D8AA858A4F04E0C8454426D34ED2E7FF14 |
| 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 |