| Key | Value |
|---|---|
| FileSize | 88656 |
| MD5 | A303C873C1232ABD2F61B6AC0AC1FBC3 |
| 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.8.0+dfsg1-1+b1 |
| SHA-1 | C78183CB953249886C028E3B766601C34C11FBB8 |
| SHA-256 | 332B24A4CC44D339EA755D60258EF5F7B5F0D1A4B50574A4D2E39B32D143FB99 |
| 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/share/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 629 |
| MD5 | 1DBEFFBC15B0FE450D953FB281EBE97D |
| SHA-1 | 894AFE28D6649FCC4D8FA32922C35647A243221A |
| SHA-256 | 41096E2C2F9E8EBC4F601A2408628B24F0A45FFB138BFDD3532196A783F65A10 |
| SSDEEP | 12:XcmQjK7cLkKTLAH7KSGEjWyFLv7WJrWaUfxBM7aW2fvH/lRedir03DnH:XuLLNSGjqv7MWn+EvH//e0rODH |
| TLSH | T18CF06225C66C6748C16E47598B8E050BEE63166EF4C98B646F06F0FCE50A11F0E96988 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 30304 |
| MD5 | 1A3A8B6A54806C47BAB0A602767BA5DB |
| SHA-1 | 590CEA6BD7A1D18789C7C5E100C6962FAB4794DB |
| SHA-256 | 6C1CFB36E067F112DCDF6E4F0191FCE8EC859D7DC3139EBC154D0299862AB9D4 |
| SSDEEP | 768:irzXiK0mOgET8BZIQEoFhMDcsjVz1mhlmyB1uWsEVT4/B:4Ti8REShMDcsjVhGzB1uqV |
| TLSH | T18ED25EE2C4C76EB3DCE1973D60B71F0A1B62D8D69741CB0AC59C84943E834B91D6AF64 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 190104 |
| MD5 | AD7D06BB94175AD88C7970F95674EB99 |
| SHA-1 | A9A0A56CFDB65F663CA65CA85E512322B3870FAD |
| SHA-256 | 1B1FC71ED5CF04A21A52FBE7133D14818400C5010F8D1EF538C411DD825A5070 |
| SSDEEP | 3072:FFwIgGp70JRIBSlxEWFOIFDI0iQ81SBG39USINdYVxER/oDzkwwezcZxf+/Zveh8:eNJRIBSjbFRFDI7Q81H9USINdYVxER/S |
| TLSH | T153046B8278438CE3D8D35AF9311B16D691216CD21566CB96C848887C5BA3FFDE53FBA0 |
| 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/doc/python3-cryptominisat/copyright |
| FileSize | 5927 |
| MD5 | B465BED9AFD3E99415A13348200C0110 |
| SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
| SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
| SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
| TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 678 |
| MD5 | A266B6509219AC3598BBE374924A437B |
| SHA-1 | 8A7693039669C3ADA08F2DA173A5D3676F2B54AA |
| SHA-256 | 5DFDC18EBA52098B716749320AE6A20AEDB285C2FC02623A7EBE713CEC9CADDB |
| SSDEEP | 12:XDdR6ieKnGNqnzz13ctEwQpIptdzRSP245ahgjSq0gDRSHTu+DuqtKtsHjCAm24:XDdR6oMkzMEHpINzRSP24E1qTgTFD/s5 |
| TLSH | T1AA01834480DB12DC86AC2E7D666A165C32CC85AF06A4285FCEEA8ED3845B22C1FE1584 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 5908 |
| MD5 | 5A14E43031B1FD45EADC612400ADE438 |
| SHA-1 | 934D1BC1AE803B717A90EA4792167D53D17A4A2E |
| SHA-256 | 4239145992F7ECF6E97FA15C16140DF412A7DDA05BCC126F86DF0C34A4DB0D68 |
| SSDEEP | 96:GXFRk7D8BQgzovQ5KUpft2HISu4raE9CUFz91E+G9oMmg0EW9ZZ5hURTES:UFi7gdzovEgfjOrUR4X97R0ESZBUZES |
| TLSH | T1B8C17D2AB0C2870997803C97E3D674E6B72C586D913B55198E70C676F36D828233DB7A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.armhf.gz |
| FileSize | 217 |
| MD5 | B3721EC4FEBB6E411D04983E25967980 |
| SHA-1 | C2CF60770F16C0A40BE26DFC3DE51B4F5D0C9C19 |
| SHA-256 | CF18095EE4D14204DD4909DEFDDBE04B1B907793D5C432E8F114F4BCB74096B2 |
| SSDEEP | 6:XtLbFw0+NcRQPIiPq7DGBDtUznl015EcyWM/bHYJ9gIxAWnl:XsFdPIiPq7DGBOzl01XI4zn+U |
| TLSH | T18DD023B4703153DA8568F73DC582F51255DDB234AC73A11FD40D23690E3F00D554AC18 |