| Key | Value |
|---|---|
| FileSize | 13192 |
| MD5 | 9D012B494028494A2380A6121E72D9B9 |
| 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+b2 |
| SHA-1 | 06DE3261B8A223FC68DAB264864C4349774E022C |
| SHA-256 | 9F0630FAB833A564ABC78CF067CAFEA63E6E1731477E91C37E35ACBB1D7296AF |
| 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/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/changelog.Debian.armel.gz |
| FileSize | 226 |
| MD5 | 8DD240B16FEB1483A608AB91A1532C4E |
| SHA-1 | C9C35767E6A92084EACB4549CFD1AE92B78EDE77 |
| SHA-256 | 984DD921BE337DF71E625823BF9755276126476D4FFC64A43B1FC9D7F90FA90D |
| SSDEEP | 6:XtB26C0LUKlWH3e6szzeLg0DLwmgLl+pmELeE:X6eQHczeLtsl+pmBE |
| TLSH | T104D0978B888115ABD0454030BA13EC13B87430161604E0101C00A448A327A0320AA058 |
| 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 |