| Key | Value |
|---|---|
| FileSize | 13952 |
| MD5 | 05C8B387604F3DB052FD79F154D9F174 |
| PackageDescription | development files for the CryptoMiniSat SAT solver CryptoMiniSat is a modern, multi-threaded, simplifying SAT solver. . This package provides C++ header files to interface with CryptoMiniSat. See https://github.com/msoos/cryptominisat#library-usage for some examples. This package also includes the experimental cryptominisat_c.h header to interface with CryptoMiniSat from C. |
| PackageMaintainer | Debian Science Team <debian-science-maintainers@lists.alioth.debian.org> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.8.0+dfsg1-1+b3 |
| SHA-1 | 3D1AD8C2B4941CB4FA89232895C8E8F3D3082FC6 |
| SHA-256 | 2AA34AD514A4445B36A4E2308AA79F2EEE61CAC7A360A387329BA864267D56B9 |
| 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/include/cryptominisat5/cryptominisat_c.h |
| FileSize | 3778 |
| MD5 | 27E29166A010AD3DEDB72F18AB1EAA45 |
| SHA-1 | 86CC24CD3ED8495D966F0A0EBF75B8DCD4CFF89E |
| SHA-256 | D23276F28A6B217C21B07CA95FE6095D1641295D3940325EFCF6F002F7E4DD4B |
| SSDEEP | 48:7DaJHlxE35QHOs5exm3ogF5zaDNh3NerBffQfz6Sz3KoGvelcvGkIui1wXLc2qzG:7WupQHTooQj0auKCJtIuj1fRZvSUb |
| TLSH | T11171745AD8786DFC25A20C8B50B592FA664F8BD339EC4C15F51AF628631F2C451F307A |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.mips64el.gz |
| FileSize | 230 |
| MD5 | DAA8B337DBC2555F045E2CE14567CE12 |
| SHA-1 | 243D7922B5B475425DE8FCB9DC5AD0D6F9A94FC6 |
| SHA-256 | 15413565B5BE4CFA0257F791F61ADFB5FF7A6CF0AA67384625A21C89BE618DCF |
| SSDEEP | 6:XtcBepdJVs/YMHeVYk8df2Fd8UCyttolKPedX2vll:XOB+dJVsApiUvgwedX2H |
| TLSH | T131D0236E04C8F786C33450F2A9084E916264D945081CE160CCC038BCA4D9F74A4C61E8 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/solvertypesmini.h |
| FileSize | 5214 |
| MD5 | 2E53299FC757BDF6E3E9B114AC314C49 |
| SHA-1 | 751F5E5ED44FBF7F4C61EEDE891DA1F26B44E8CA |
| SHA-256 | 32E44351053F92047F6D08507FF0587F3315684B39FB7FE581AD79BD2BEE7919 |
| SSDEEP | 96:xupQHTowbjGn4C1G1gWQgS01hCglVCfuOrFPVQYeNyfVBy7dsTOVMWre2OKre2sT:kQHT/bEToKWQgS03CglVsuOrDQYtfVBT |
| TLSH | T19DB1008428E24E21401B12B74F4FD0D1B5AC7043BAC8C9D1B56EF290BF0D479C6FA6E9 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/cryptominisat.h |
| FileSize | 11916 |
| MD5 | FB4CE8A36A633E332B6570E9557E7C01 |
| SHA-1 | D238E72C8DB6F1776B7EEF31C54DCA7A4BA46CE2 |
| SHA-256 | 2CB3B856A66B78E3BC070E054E7FFAE78C5103F0EE512C5B750C7496308D9F1F |
| SSDEEP | 192:kQHT8ZApwIVM+WlqZ5CMS1+hm0w+61MmO4YGW9Y2oSY+blG:k68ZApwIVM+WlqZ5Cy40w+61MX4YfY2m |
| TLSH | T1AB32750261156FB60C8A5AF5DF6A32E2A361146BB354D6E5B86FF3140F0E85892FB0F1 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/streambuffer.h |
| FileSize | 6101 |
| MD5 | 8D33482C5A4B20013D262B8E12F36301 |
| SHA-1 | B587CCFC8399CDDA0BEDAE1E8DEB6EDF49D0317E |
| SHA-256 | ECC0C13D99CCC395F33411B0B5EC49DEDEB8738D6EF8D2DCE2E293D01EB521A4 |
| SSDEEP | 96:oPIQHxo4HvAfASnA6AY3rVqi5uGfgJMhN4xTSAFEge3Ax1lxdhK96UAY4zc:5QHxDHvAPzbMic5JMD4wAFEFAx1lxdkJ |
| TLSH | T134C1850978FB1CB0661791395FAB80C16415A86326EDCED4F92DB110BF0D430DAFABB8 |
| tar:gname | root |
| tar:uname | root |
| 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/include/cryptominisat5/dimacsparser.h |
| FileSize | 17212 |
| MD5 | 6BB0FEB36AB807FC628E3FEB6D32A478 |
| SHA-1 | 5A17EBE22CDCB35F17E312005F393CF829A31AEC |
| SHA-256 | E35FF67D31F839F24181941344A80E9FD22DA94DAE279C709A7DD29C79C23BF3 |
| SSDEEP | 384:G6Xxb6pkiYQ0+TXzOsghGp33wHLkXdRfNqeXNtWx:RXxb6pkiYQ0+TXJQirdRfNqeXNIx |
| TLSH | T15A72745A5CE33C365293E03A9F8DA086BF10901396A8CD65FC9D7309BF8E42486F7755 |
| tar:gname | root |
| tar:uname | root |