| Key | Value |
|---|---|
| FileSize | 80172 |
| MD5 | 8E8F57B66E7CA7ABC055D90EB8B7DDB8 |
| 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.6.4+dfsg.1-1+b1 |
| SHA-1 | 631B829C6E519F6E26F072160E38A9B9E05A336A |
| SHA-256 | 222396EA7D6483C7F6F12E52F6361541957EC4002235FC071A404FE98754E3CC |
| 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/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/menu/cryptominisat |
| FileSize | 139 |
| MD5 | 17B1D942DB0FE666B31CF8CCF9E1F8D2 |
| SHA-1 | B308DB947BE4FB0101D9FBE8D0230577FDC587B6 |
| SHA-256 | C3248C1578AE06BF54DED92D194B2B6CC6B3DC404B6E7E3AD5C90A43AB6BB775 |
| SSDEEP | 3:2RGURKxLMNMfxAxmRMQfVwGERMQWYHOXLMNHF2uHKL9JcViLMNQP:GGUsxU2TwGd1XUHwuUvcMUc |
| TLSH | T1A8C04C81957AB6D047F255B2A73183514695D02914539E6062F06404C996165610263C |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 280840 |
| MD5 | ED28CF6E27E5D851FBFA87350E915A8E |
| SHA-1 | FCCAB8CEAFCEC04076FFF82D3B6900470A31C9A6 |
| SHA-256 | F1088C097605BF08D5EA848DBCDB76D0ECC5E0EAABB85C6AF70FB55CAACD9B7A |
| SSDEEP | 6144:c6O64K7Sq7u3cZMgfosl2oudKEwHTQUmTKnIIxxPND:c6mq7u3cZMg5UwHVMKnIo3 |
| TLSH | T1B654F803F8458C7FC8C385F4518B41A12571BEE59729256EAA8CD3BE6C80FE5C63EB91 |
| 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/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
| FileSize | 234 |
| MD5 | 26954A883162BE88B1A4D8E77D369599 |
| SHA-1 | BE672F8A0B2B96FC8876A94CE911A71F3BAEC69C |
| SHA-256 | ED5ACD5C90B8CC72639D924127687D93BDF48575872D9618CBB52DD57691F186 |
| SSDEEP | 6:XtFPr1SuTVKpQ+p0++B2OqhL9KlX0qLXGmsGN5/n:XnrzVKKB2XuLXRB5/n |
| TLSH | T17FD097C2390CBA3A4C050370D48790407008A02015CED5460EAAB078582E02289B912A |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
| FileSize | 218 |
| MD5 | 7177D89FF0463D4F4C13ED82CBB031CD |
| SHA-1 | 8EF9FD5899FADE5FC0353EC85479DE0720532806 |
| SHA-256 | 0CA101D81E56BFACFFEF4B60DCC87EBF077AF6D37B569F024BB92D4F816B5FCE |
| SSDEEP | 3:FttHtpbq5dQS6dPzr7NmEV1NGAPQpVEGtZw2xueTHs66fNLDHIpQQzvX/n:Xtfq5dQp7sAIntNRTMRfpyzvX/n |
| TLSH | T1EDD022CFB5ABFE37B64236B4C8660A04EC164115D268C03CE0123363F8CD8D93A80708 |