| Key | Value |
|---|---|
| FileSize | 83596 |
| MD5 | 2B28BEEDEF4751E8E79C70D8B88F44A7 |
| 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+b2 |
| SHA-1 | DA591158C3C86543989F38B2CD3FE4AC860E66D6 |
| SHA-256 | F4032C0BBCCF22EC00634EB002C6B2CA4779877519262294974020DEB76F3E5F |
| 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/doc/python3-cryptominisat/changelog.Debian.armhf.gz |
| FileSize | 225 |
| MD5 | D39281BBB98D7D03E91A79E9499977BB |
| SHA-1 | 6649C8B0E9A13121DD7360384DD6864F3DC88D44 |
| SHA-256 | 8B32606C094281CB1F00550688BCCD06A2A5BB847B779D5A9AF20A3399523922 |
| SSDEEP | 6:Xt3mVSTUYbPu/eVGQzfyrgCr2SZEZjgPhkydLeY0BLXyFn:XlmVgavAfyrviqUjfyMyFn |
| TLSH | T1C0D0A7365705C252E01AC42024AD4848C9278F7897A4EB67636EA489F19B138909855D |
| 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_simple.1.gz |
| FileSize | 631 |
| MD5 | 46D5B678FF61CEB6E0B4B8837E928C73 |
| SHA-1 | E46715026B1826CC72D5AAD5122B1430AA1EA75C |
| SHA-256 | DE91263B9E9A10A98A1DB708350F24B20A95A30641E2E2A6C28F0735AF65B98A |
| SSDEEP | 12:XcmQxoD/DUpLFUJkLViVg3qw0k70XLmt33gOgozvCi+tNMXGYmGy/JyVGlV8:XoewUW3qmYXgzqlHM2YmGogGl6 |
| TLSH | T1CDF062710D009A248A9E339E96814AEB48BE24DE3D1F9C06A340C83B0D890AB8C3489B |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/cryptominisat5.1.gz |
| FileSize | 5909 |
| MD5 | A598AC1CCA4E5F0D636F285321A61499 |
| SHA-1 | D42F2FC18213AF455AAD4E07DEC9B97EB83F75CD |
| SHA-256 | E3BEBE31149E2BBDA9E2C9A0557F77107917978160086D33E39988B5353E01D3 |
| SSDEEP | 96:EyYZvz5mVwg7V7cfwOrkkHUs1Rr2v1LMvBv3+edKrf/83I2eX9bQeitgmng:XyzodOY41wvmV31dH3I2u7itQ |
| TLSH | T1E3C18E7B4C785C391B18A46CCA4B6AB46385F4B361AD695B68C7C70BB21C970576C01E |
| 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/bin/cryptominisat5_simple |
| FileSize | 30304 |
| MD5 | 05246E346496A76672FF77D9DDCF63CC |
| SHA-1 | DE1054115C661821F2C15299B2DEA98173668E07 |
| SHA-256 | 599D61A4DC15281D0C4434C92C137B42874B7E304D09E38BDFD2A8A363BBFFA1 |
| SSDEEP | 384:vOCElAX59a7GFxHvaEG+sDwTpxErlNL+hYnh+2uOfppXXbF72RBLat:vBZ5xHCQqw1mZNL+inh+25XMRBa |
| TLSH | T18BD228D1D5C3EEB3CCE2973EA477CB065A61D896868BCF16E49C00903A4B5D86D7AF04 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 181912 |
| MD5 | C0B62C7CC1291471A4583512CDA3D288 |
| SHA-1 | 5447ADCC69A05DDACA88126235438DE2379F2FF6 |
| SHA-256 | 0BD4C1144C8F6C2C46E9CFDFE8412987709BFA173FAEFAA516C14DAF80430157 |
| SSDEEP | 3072:NZv6GoG0JRrZ4lV8huOIRECjAXFOyZN9t1nuiK5u7knW0Iee3o6+mKhvzI+L29OJ:ChJRrZ4jquRRVgOyXFuiK5u7knW0Iee8 |
| TLSH | T14C046D9A7D43CDE3C8C79AF8305B06D95522ADC11962CB9AC848447C4BA3FADD43FB61 |