| Key | Value |
|---|---|
| FileSize | 13192 |
| MD5 | EB8BDCEA9267EB9638633C5DF4547619 |
| 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.7.1+dfsg1-1+b1 |
| SHA-1 | ED10403915649B35B1531D60FB3C1C11AB8C966A |
| SHA-256 | 5CEE45F611F8850DE9EAA2203CEBF30BAFCEF2F7F85746933CEEAA5213C0B68F |
| 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.i386.gz |
| FileSize | 226 |
| MD5 | 6EC0C5E5BB305A3F3226D0C950B38A53 |
| SHA-1 | AB23BAC0B34FC4F0C6CDDFDFEB101A3DF8AE2DBC |
| SHA-256 | E527BC587AC62408ED5197E0B240DA4925DB9410775FA1DE6D2D89B9D2FF7CEC |
| SSDEEP | 6:XtlZ7UxWIt6NorX+cnJ6Vtq42XRjkX1bgflDYsB5ZMoIMIoPsn:XH6WfW87q4CkFbalvPuKs |
| TLSH | T1F2D0232433742B27CC2F87905F20BA0C8B543250210E52E80E42D902ECF8330B331310 |
| 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/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.gz |
| FileSize | 599 |
| MD5 | 2F501694BDFC0FE97563BECC83CF587C |
| SHA-1 | 50AF60EA49F6B3267026C9B93FB4A4DD27247EEC |
| SHA-256 | 779F5D2F2F433D5CEC30FD8B44BDF3BD214C4EDF39E5FEA3AA517FF892DC457C |
| SSDEEP | 12:XvbpYjexOQzHhPk1UGrRsac2TloDGA6aM/VRhRiw4+YqT5LhRGi7tRt4Q:XvbSe3BPkUORMUoDGBayJ4hqTBhwgt4Q |
| TLSH | T145F047546621BE1269CD09B39D22AFBCD1B691DCCD11C517041F43DF9BF6668DA2C006 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/python3-cryptominisat/copyright |
| FileSize | 6084 |
| MD5 | D52F194ADE4BF736E9DE7FB919995FFB |
| SHA-1 | D162F6EA3D4D4D0E7D93C94FD7617C6EF956E6D3 |
| SHA-256 | A9CA9F2A763FDB0B85B958A82957B9C7EF3966E8963D63BFBD389A0ED0DA74E0 |
| SSDEEP | 96:RspA9Sig0URHtRzbus5BeOFQH+J1mpHQHFoRmu9:2pA9GRHCsDeOFQH+JEQHFumu9 |
| TLSH | T168C1B5683E408332089003D36839D595F27B3257B665F988BE9CE2495F17A9C57FBC34 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/dimacsparser.h |
| FileSize | 14429 |
| MD5 | AC0B83FAFEA7D19A168B8AFBA2B4F55F |
| SHA-1 | 6152FDD15F8B3E230FC98213791D930B22C04F5B |
| SHA-256 | 5B66401EA4BF508507D0161A17F7A65EDDC90DF697ECF73D651BB0A7CD335D74 |
| SSDEEP | 384:G6UvfaqUYS0Iqi6zOsgDGoS39HLkOrRfr1CNeWn:RUvfaqUYS0Iqi6JyFyrRfr1CNxn |
| TLSH | T1D25261495CE73C255293E13ADF8D9086BF2494135AA8CD26FC9D7309BF8E02886F7764 |
| Key | Value |
|---|---|
| FileName | ./usr/include/cryptominisat5/cryptominisat.h |
| FileSize | 11185 |
| MD5 | 319BBA9E7F0F022A6FEB6B2658D9347B |
| SHA-1 | C70D9AE17CE7270D481C41BBECE25D0C630E4E56 |
| SHA-256 | 8F6AEE9F40B1B655D11573ED2E03C9BEA7FB9DB363A7742A533093EBDB60F1BC |
| SSDEEP | 192:kQHT8Z6pwkVM+WlqZ5CMS5+70w+61MmO4YGTSI+blG:k68Z6pwkVM+WlqZ5CO70w+61MX4YeN+0 |
| TLSH | T11132630261056FB608865AF5DF6932E2A36115ABB354C6E5FC6FF3540F0F85892BB0F1 |