| Key | Value |
|---|---|
| FileSize | 11340 |
| MD5 | 6C327AA05C70E68FFFDDFF2D425BCC0E |
| 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.6.4+dfsg.1-1ubuntu1 |
| SHA-1 | 0704BEBE9445CD6A6541B54B2B83529BE90A7869 |
| SHA-256 | 32C6839680872330BA6F5BEEA2083178782AD855152223E1A51F34BF2DF8C92A |
| 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/share/doc/python3-cryptominisat/copyright |
| FileSize | 5949 |
| MD5 | 2678177C4A1AFC2989EE39D23463FC5C |
| SHA-1 | D73279F88920FABD1F6B10C34323E118E8E14494 |
| SHA-256 | 0A6AEC5AD7C49212B8FDC1888A2CBFAF31AE18AE8D79AEBBE832AFAFED218096 |
| SSDEEP | 96:7spA9SYmpHQHFo6g0URHRmuSzbus5BeOFQH+J8:4pA9+QHFwRHRmu/sDeOFQH+J8 |
| TLSH | T1F9C1A5683E408332085003936839D595F37B3257B665F988BE9CE14A5F17A9C9BFBC74 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/cryptominisat.h |
| FileSize | 8272 |
| MD5 | 32FCDB9F8A8414DF56FDBF3A60A4994A |
| SHA-1 | A1F2F6537FF1CCAB4D237B362589BDA5C849D0F0 |
| SHA-256 | E48213291E13E14F997DB91849FF4C32C76ABFEA1AE7E9EA47BAD28FC71B88AB |
| SSDEEP | 192:kQHT8Zypw5VM+WTZ5Mze3w+61MmO4YGePlG:k68Zypw5VM+WTZ5Me3w+61MX4YLPlG |
| TLSH | T1430242016100AFBA0D865AF5CFA936E16361189BF764D6A5B85FF3041F0F86896FF0B1 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/solvertypesmini.h |
| FileSize | 5532 |
| MD5 | 6B131E133B08975618E61A7B38E85376 |
| SHA-1 | A79F186A919F69912CD25727962B551803E6B735 |
| SHA-256 | 52D45D597E10FDF8254C705DFD7F461E8FF94968FBD7CC52B9F16637312C9FC4 |
| SSDEEP | 96:xupQHTogijU4qcGWQg2ALu0lJCfC6rRPVQYeNy1I7juyHtiLs3O+WMjOKMjsHPi/:kQHT3ioLcGWQg2ALu0lJsC6rPQYtG7q7 |
| TLSH | T10CB1448478E29D51042B139B0F0FD0C1B4ACA453B6CCDDD3782EB154BF4D47896FA6A5 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/streambuffer.h |
| FileSize | 5509 |
| MD5 | 4EEAD7FF78E8948667A706955342498C |
| SHA-1 | ED9C5E047A4EF39D454A76767270AB21D4DD4D15 |
| SHA-256 | 0AFA9B831B0FA9BFF4DD79EC372051B406275C64434682220870E950B6552905 |
| SSDEEP | 96:oPIQHxo4HvkfASnA6AY3rVqi5uGfgJMhN4xTSAFEge3Afhx963AY4zc:5QHxDHvkPzbMic5JMD4wAFEFAfz9eAYl |
| TLSH | T1F4B1630979F71CB0661B91795FAB80C16415A46326ADCEC0F92DB154BF0D430DAFABA8 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/dimacsparser.h |
| FileSize | 14417 |
| MD5 | 88FD1C6F5C96252BAFA6F4146364798A |
| SHA-1 | DCA611DF6D63239CADCEF48E2E373A2E1AF57864 |
| SHA-256 | 8A8593AAD05213ABD9CF65BDB8024249E6F5DA62825D36399CC7178676830A63 |
| SSDEEP | 384:G6U4faqUYS0Iqi6zOsgDGoS39HLkOrRfr2CNeWM:RU4faqUYS0Iqi6JyFyrRfr2CNxM |
| TLSH | T1115250495CE73C255293E13ADF8D9086BF2490135AA8CD26FC9D7309BF8E42886F7764 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/cryptominisat_c.h |
| FileSize | 2904 |
| MD5 | 19BAE58E29D287AC591AA37A40F65FFD |
| SHA-1 | 404ED32CBB1F7AF7789CF43B76C92949B82BEC68 |
| SHA-256 | D2E17414BE45D564602398553F24DC88DB3140F450BDBD9CBA85C73EF116C135 |
| SSDEEP | 48:7DaJHlxE35QHOs5exm3ogF5zaDNh3NerBffQfz6Sz3KoGvelcvGkIui1wXLc2qzx:7WupQHTooQj0auKCJtIuj10 |
| TLSH | T10E51E76AE0781EF825620C9340B590FA661F86E376EC4915F96FF62C670F1C441F30B9 |