| Key | Value |
|---|---|
| FileSize | 80300 |
| MD5 | 71A7E7F77779F5CE76744CC390BD078B |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | cryptominisat |
| PackageSection | math |
| PackageVersion | 5.6.4+dfsg.1-1ubuntu1 |
| SHA-1 | F6BA8D4E1DB075F70A75C4ED18467D3412A0201B |
| SHA-256 | A7EE1EB2E7718C90A721EAD383DC4AC9CB75BD301BE04F75B0B38A1B6469998D |
| 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/share/man/man1/cryptominisat5.1.gz |
| FileSize | 4778 |
| MD5 | 3912CB575A0399627F73ABFBBB71A473 |
| SHA-1 | 4B4398F410450A1392E3E9A102FB8DEE6FDCB108 |
| SHA-256 | B7EB1F905757D9B5D1DDCE304921A62C3D67CF586A3D226FC88AC654FDAEF366 |
| SSDEEP | 96:cPiN1J483RiljuwzjGEFAOzi7DO+5KQGyOKtoY+4F+NGEvkqtPiTwM:CHTdFAD7y9ZLN4F+f7t60M |
| TLSH | T12CA15E9B0C209416C0D183C416BE671E34E22017F9F23599C9EB7E359AE978AB8EC5D8 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 284936 |
| MD5 | 24135C7E6AC448C6812BCD21A3192B0B |
| SHA-1 | EDFBD280A75A85ECC789D8FDB999020FEFD1BD32 |
| SHA-256 | 062B5F6AC6BAA86E8BD4602CEA34AF4A3A5C64BF7DF9AF9E6C5D8131A57E0B52 |
| SSDEEP | 6144:sjBhKWQgZ/bBz81bzDahrpBjcfHE3qnI:smgZ/bBz0tf2qnI |
| TLSH | T10A540707F8458C7FC8C385F0558B41A22571FDE54B29216EA98CC7BE6C90FE5CA3AB91 |
| Key | Value |
|---|---|
| FileName | ./usr/share/menu/cryptominisat |
| FileSize | 139 |
| MD5 | 17B1D942DB0FE666B31CF8CCF9E1F8D2 |
| SHA-1 | B308DB947BE4FB0101D9FBE8D0230577FDC587B6 |
| SHA-256 | C3248C1578AE06BF54DED92D194B2B6CC6B3DC404B6E7E3AD5C90A43AB6BB775 |
| SSDEEP | 3:2RGURKxLMNMfxAxmRMQfVwGERMQWYHOXLMNHF2uHKL9JcViLMNQP:GGUsxU2TwGd1XUHwuUvcMUc |
| TLSH | T1A8C04C81957AB6D047F255B2A73183514695D02914539E6062F06404C996165610263C |