| Key | Value |
|---|---|
| FileSize | 12920 |
| MD5 | 37AB0ACED708CF97AA0357753B4D446E |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcryptominisat5-dev |
| PackageSection | libdevel |
| PackageVersion | 5.8.0+dfsg1-1build2 |
| SHA-1 | 0A53A6D14BDAF8389E5FF8D691E42C39F607525C |
| SHA-256 | 5239BFD0151CDA073074028BD880521EB3406B18257487FC7AB258DC0968ADD4 |
| 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/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/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/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 |