| Key | Value |
|---|---|
| FileSize | 82196 |
| MD5 | 5B449017B118F171853B92DA1B062284 |
| 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 | 6B7A060E7512D9CC4777F362627263B57448EE5F |
| SHA-256 | D646ED0A6900A36813FA71107DD0C8D17CD7635C191317192D90F22B00BFCA1F |
| 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/copyright |
| FileSize | 5927 |
| MD5 | B465BED9AFD3E99415A13348200C0110 |
| SHA-1 | F8B48A4FEABEEC10CA2F9076812A7211C8ECBA9F |
| SHA-256 | 811475B2FF21FA3243D6C4FF63E4B9E2DBE6D9F0D9F3A1C74669C27F8438037A |
| SSDEEP | 96:RspA9Sig0U0tRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9G0CsDeOFQH+JEQHFumu9 |
| TLSH | T1D8C1B4643E408332098013D36839E5D5F23B3257B669B988BE9CE2495F1BA9C57FBC74 |
| 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/changelog.Debian.armel.gz |
| FileSize | 229 |
| MD5 | 1346AA1CCB27505ED13D9FBB1F76268E |
| SHA-1 | 11C26747DAE869FFD30772A7681ED227AD9593F6 |
| SHA-256 | B212853E3694DBA97DEB14C6B1AFFD80F25BBFF8FA0B1327E63CC1E7449D617F |
| SSDEEP | 6:XtFm1067AAHTHz/mkwxyh2wC/xdWUA5r/pulQHgq9rO:X2G6jHjz/mkwQzixURh/AGHVK |
| TLSH | T132D097C4B820B8A2D034D2CC6D2E2E8028648806162DD9B6434D72C8A92404A3FC2401 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5_simple |
| FileSize | 34392 |
| MD5 | 4FE13907C72431A73C9B71F1FBBB1334 |
| SHA-1 | 2C08353B152642A3AFA6892F0A0CCBCDBD360FD8 |
| SHA-256 | 6A70A2B594B863B11D2528DAC4A148C12E8F6AC78EAE21E5FF0C42360BDD4941 |
| SSDEEP | 768:xX2ZmCT/XBSaapryhCVVEB+XpJA38I8UkxlmrdRGRPOX/RBB:xXGmCrxSaaZuCXEgk/8UkxlmpEPOXR |
| TLSH | T163F2FBD6D842AD72CCD0363AB39F571973228AA5C1CEAB56C03C96043FE7CD94D6E684 |
| 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 |
| FileSize | 231056 |
| MD5 | 3FAC785ECC0414F5DA75803C3774A3B9 |
| SHA-1 | 08FA8991BC4272496DBC74688DE45B51A0B60979 |
| SHA-256 | DF96E0AAA244B584504CFF15AC9FA58CD5C69B7697F6F07E3F6D23B225268688 |
| SSDEEP | 6144:WhJRrD4jquRRIcsKILs7EMQtvviOkkniq:E4jquRRIrLskHni |
| TLSH | T1F1343B4BF482D967C8D1397AB24F03A93362AFD5C1DA214BCC28952C3BD66EE45357C2 |