| Key | Value |
|---|---|
| FileSize | 88028 |
| MD5 | 7DD2E3E22252DEF1B3F7A38786E96283 |
| 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+b3 |
| SHA-1 | 0CCD17D64CE401A6D72DDBED9DC6536518F56178 |
| SHA-256 | 1BECDD5D30623F429640E839FFE4E7F7537E7E7D76D2CB4F00DCF86AA5CAFEBE |
| 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.amd64.gz |
| FileSize | 239 |
| MD5 | 5E6EF2DBF450947DFAB6FEA44907265D |
| SHA-1 | 65CBE83D9664B370813A747CB4A89E8EE0FBDCCF |
| SHA-256 | 36E589898A6928E0A7EAB72BCAA763F9B723DAB8586F0CCF8F3A9C0779BA04B9 |
| SSDEEP | 3:Fttdng1E3YsPGQDHB9M/jltMVzQQlDAKhCu1Gete396W5R+Klkh30U7n6Sys5/2h:XtRYMqVu1GeO9z59438yLOZn |
| TLSH | T1ACD0970E0424A4ADC52038BB642B8509426A3E8CA5AE2740DDBEDB58849FD8B09F200D |
| 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_simple |
| FileSize | 43256 |
| MD5 | AA4E611B7A853D802686345CBA49B7E8 |
| SHA-1 | 189BDD028C2FEDAEA0E11EAE4EE9F64DEB2A5530 |
| SHA-256 | AAD3F43A874BD9B0E19C9D08E05D6F69A51D5F1CDC32218553CAD0C3D284A2F4 |
| SSDEEP | 768:Sw2xpMl6jymTfBkmPEwp1CM8fGbxjfPSqts/Bcgr:SRMlQbBkmMU1CfGbxj3Squ |
| TLSH | T14F132B17F9D1AD7CD0C49B38958F8137A7B0FCA9EB21265F224893352F43A84DA1B764 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/cryptominisat5 |
| FileSize | 248240 |
| MD5 | 2EE9402FCE253AD407C542877FBC9A10 |
| SHA-1 | 501E686C21024DC21C2514D2ED72C5094FA55085 |
| SHA-256 | 0E01F09D817FFB9871DFF39A6AA97C6ABD588A86513E347FACD935262DDB2998 |
| SSDEEP | 3072:gq4J9AyLeR7yKcyT8xjyI6CCu+mcbg1HGbrs/Qu1YbFk54+rTt5tpJPE5Un1oBMq:YBeR7yKcu8xT1m6QoYm5X5hoUn1oz |
| TLSH | T1CE343A4FB5554C7DC8C6D2741AEB81B256B0FCF49B31B23F22C4D72A0A93DA48A2DB51 |
| 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/man/man1/cryptominisat5_simple.1.gz |
| FileSize | 631 |
| MD5 | DF033997B36ECD597B32D4B4CCC60A16 |
| SHA-1 | C0FC9A2909486DE088A31A9FACA401B111B1A7C0 |
| SHA-256 | 500F66E0CC49F582D7E2DE6E5F15CAA58EB6CCE2297B6D6187AF164F4CBC1B88 |
| SSDEEP | 12:XcmQJtRx43ThLsK0VOng0fipP0IZW6rfCerydQ4MELEqnEL9GAY/:XMtRxcLH0og06pPRdOvLjnFP/ |
| TLSH | T1E6F0C80064A874C393B401628398920EAE76D31E692538F022C438010499F9849F1AA3 |
| tar:gname | root |
| tar:uname | root |
| 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 | 5909 |
| MD5 | F2A78E70109D2FD8862F3E1D1C90536A |
| SHA-1 | 01B78B648A6F18FC74257FB79F7E777FB5D05E2A |
| SHA-256 | 40949E4092821B229A6EDFECC9495DB821A567D961B0B252D5EAA0BAAE9B7601 |
| SSDEEP | 96:PJRkf8u0wrrfvgv4ZKcECpRB5LH6x4bypvYD8R529a/s6abP6UUF/:Ri0YrrfUQKApRGSepvYY5Ek/ |
| TLSH | T193C17EE8DEB12F9A9AB8B9BC220ECA415906C5BF3CD547A55D535C2F53474E1005B332 |