Key | Value |
---|---|
FileSize | 18324 |
MD5 | 953E040030CAD531736891EB54A1F7D3 |
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.11.4+dfsg1-2+b1 |
SHA-1 | 16333DC36D26B2AF098014B4A4723D418067DF21 |
SHA-256 | E5F58554158D7364F19EC1C2006E73291C9AE7AF2BE319C747CDA33576C2A0A1 |
hashlookup:children-total | 12 |
hashlookup:trust | 50 |
The searched file hash includes 12 children files known and seen by metalookup. A sample is included below:
Key | Value |
---|---|
FileName | ./usr/include/cryptominisat5/cryptominisat.h |
FileSize | 14058 |
MD5 | BD9103A1A1A4714DCCC56BB40289CF2B |
SHA-1 | 56BF3D416DA4C0BC0C2A3932EC435B172BA76F32 |
SHA-256 | 5E1B4AD56E6A9DDBDC011DC2293310BEA9A0EE4A985D5373428682E9E08BD671 |
SSDEEP | 384:u61Vw+OVD+WlqZ5C3a5c61MX4YfoQRYfPYI2VNN+F8/zWX:pXw+OVD+Wla5GaVMX4YfoQRYfPYI2VNU |
TLSH | T1A752B316A5116FB20C8B5AF5CF6B32E2A3611497B384D691BD7FB3140F0A85447BB0F6 |
Key | Value |
---|---|
FileName | ./usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake |
FileSize | 899 |
MD5 | C6640C743844FB02A2509ABC721672D3 |
SHA-1 | 2A38007760C83A9CAC10304CA5F40175F334438B |
SHA-256 | 3703DBB65A30E2BDBCBAC7A1A63D51BB9D3168B47936C58F7BA86EDB956BE19F |
SSDEEP | 24:ebGrqJ1J8BK3VfdZNrvIpMsakp6VjBkm8LdXLdTvVxVW3VLR:v8gByV1vxG1hNT+VV |
TLSH | T120113A61B929FF8B63D7007063B9A0E5E396F8ADF7071EC8D798224CE1560C05167D70 |
Key | Value |
---|---|
FileName | ./usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake |
FileSize | 2881 |
MD5 | 86F3355156D4A4CD2A5FE17406D51518 |
SHA-1 | 5B506620500D7A937C64F6FA2062AF9FF0AE39F5 |
SHA-256 | 1044FAB4297595FCBADF14A9436E5B60720FBA2F67348E042A6F94A9A9917946 |
SSDEEP | 48:pifh430Y30gu/Ei30a30bUKl30gq7mmypOV/mRvm4fKutmEpNATIuUSMV30gcpUG:uRguMnfbUK+gpLpOV/mRu4fjtmEpNATn |
TLSH | T1E051784795489AF253868BD317C77978B6350096A3B384E4F54EB88C4790D7483BE3EC |
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/streambuffer.h |
FileSize | 6107 |
MD5 | 78CD4090E80CC9B9EE477957318CE21C |
SHA-1 | 8677C13DB0D23C93013EB7CE136FC9CB0FD96355 |
SHA-256 | 7DEFC9C416B8378A19ED354A3307D3927747F96879D9537FA3F486AECEB54D49 |
SSDEEP | 96:oPIQHxoSSHv+fASQA6AY3rVqi5uGfgJMhN4xTSAFEge3Ax1lxdhF96UAY4zX:5QHxQHv+PWbMic5JMD4wAFEFAx1lxdHS |
TLSH | T140C1760979FB1CB0662791791FAB80C57514A45326EDCE94F92DB120BF0D430DBFABA8 |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.gz |
FileSize | 801 |
MD5 | 1546C9198458A9E64283782FD2F5547B |
SHA-1 | B39BFFBB45E032BD392756E37D0128A237D802ED |
SHA-256 | 0DA40F6D4160649CEB00E57802B901CB5432F859851AF8DEC407029D3E274FB6 |
SSDEEP | 24:XPXg5YLwoBT5myElQl7GPOphm4MZnQOcq:XKYLwqTkjQlKSh2nQOcq |
TLSH | T1C5010A36EC2308D6EC48363E630397628C42D28700C6CB71F4A055BBCC122AB042734B |
Key | Value |
---|---|
FileName | ./usr/share/doc/python3-cryptominisat/changelog.Debian.amd64.gz |
FileSize | 247 |
MD5 | 861F996C47ABA422F29F8C4D05F8F604 |
SHA-1 | A52484A16261BA365B9E325838B24E811CD31B82 |
SHA-256 | EA57D813A4825A92C89C938D655735FA7A4905866B534AF5B8EF21A37D1EC018 |
SSDEEP | 6:XtZqiLMV7HRaJa9xsiLfUh+zZu3s0VJaKVFZ39n3oeJlwJNg2G/:XjkNa6xDLsh+zVsJH7ZqyqDg9 |
TLSH | T1C1D09719DDF22862C868022B00C0402DBD2789B28F0B3A070998A178A211250CF00A35 |
Key | Value |
---|---|
FileName | ./usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake |
FileSize | 944 |
MD5 | 35641D551722AD1740F4DECDC27337D8 |
SHA-1 | F4AE745BD8A955F8F8EB0767C0C318BD9155E71E |
SHA-256 | 3DAD76B11ECA74B9AF17BEBB8A0B5CA82796FFBACEBA1E667A0F5131AEA31EB1 |
SSDEEP | 24:x3m7dS0qUMYAfFfIbI9ZFrlduNx1UKLr5jUu:FJUMJFidUu |
TLSH | T10F11AF125F86FAD303F4E95138B05060D220C67B27532FAB4769156981F1B0D250F129 |
Key | Value |
---|---|
FileName | ./usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake |
FileSize | 4280 |
MD5 | 477A9D94A82B161D233BB6A88CF54E30 |
SHA-1 | 547BC6849593F0C9C964570D79EC596583073D70 |
SHA-256 | 0BF5F20D32F93042A6DEC4B9971F7FD22F72DBED3F9F995F5D0CB69AA3CAFE5B |
SSDEEP | 48:ZNWFb9R0/5/uU4EVSqQ+KTKpEpwN/Gd7EtcNZOjrVetFUzOq+25R7hGEt36wRF+S:ZNgbO5GU4EPKuWhf2L7hTN6wL+XmzbUM |
TLSH | T1D8911D6A8F5EC6D203F3D7421AD0E299D71199F73B8704F4DE86A04C53AE54C4ACF2A6 |
Key | Value |
---|---|
FileName | ./usr/include/cryptominisat5/cryptominisat_c.h |
FileSize | 3984 |
MD5 | 7C5BE775298386F18FC873168C7CB545 |
SHA-1 | FA882FB226858C1C5C7DABE9F070AE7E05E3BC8B |
SHA-256 | 2CBA763AC2D8C3FADCCD17F44A672C021216319202DF81A4498214EDC7A46210 |
SSDEEP | 48:7DaJHlxE35QHOs5exm3ogF5zaDNh3NerBffQfz6Sz3KoGvelcvGkIui1wXLc2qzL:7WupQHTooQj0auKCJtIuj1fRZvHyb |
TLSH | T18D816399D8786DFC21B20C8B50B192FA664E9BD339EC4825F51AF728631F2C411F307A |
Key | Value |
---|---|
FileName | ./usr/include/cryptominisat5/solvertypesmini.h |
FileSize | 8981 |
MD5 | 94159BE544FB3C58E06DB6368D267AFC |
SHA-1 | 9358F8693ADB6E64D9168CBBF1EAA50F5EA8A21A |
SHA-256 | 7A879221D6BBD00BBBE4387C20F01479ACB9D9F3FDD75F2DF164410C30999DA1 |
SSDEEP | 192:uQHTXbEToKWQgS03CglVsuOrDQYtfVBy7dsTOVMWR/RsxdCMiwkiNuy2eyUemAIk:u6XYnjB/bQFYdCMP4DeyU9AI+7m78LJ |
TLSH | T1B002138428E39E22401712B74B4FD091B4AC7043B6C9CD94BE6DF354AF4E439DAF66AD |
Key | Value |
---|---|
FileName | ./usr/include/cryptominisat5/dimacsparser.h |
FileSize | 18638 |
MD5 | 8D315F2C71BEBE94E37728A2E6A45726 |
SHA-1 | EBA5339F7678FD190D1B9D8FAB6B3C18F836CBB3 |
SHA-256 | 8A34FE5766A532D066165DDE8EED620D6B601899330887CD75D50B18C746CBF0 |
SSDEEP | 384:I69aHbCfqiYy0UtXzOsghGp33wHLkdEz1cRfNTKNtWa:n9aHbCfqiYy0UtXJQihEBcRfNTKNIa |
TLSH | T1768274595CE33C364293E03A9F8DA087BB10941356A8CD15FCADA309BF8E42846F3765 |