| 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 |
| hashlookup:parent-total | 28 |
| hashlookup:trust | 100 |
The searched file hash is included in 28 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 11868 |
| MD5 | 36EA11981D91DF636389EB99545B1CF8 |
| 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.6.4+dfsg.1-1+b1 |
| SHA-1 | 067ACDACE468F011C49823C11F162CEEFB4380DC |
| SHA-256 | 6D681500E72BB17DAA9447D457692F4BEA43C178010826BF16469F2711F007E7 |
| 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 |
| 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 |
| Key | Value |
|---|---|
| FileSize | 13180 |
| MD5 | 9AEFC039D908524016E35E8D73279B03 |
| 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 | 12AF1D8694C49F0BBE33326DE05137C3273267ED |
| SHA-256 | A362177A318A79483C4324764FCBA2F6364010E5F9E8BED70CE4F5830E7F187C |
| Key | Value |
|---|---|
| FileSize | 13196 |
| MD5 | 45E6D297E9A37D9D454D053C051555EA |
| 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 | 2129127D9DD40F50653F5D9154617695A1BD1F77 |
| SHA-256 | 48FE9662A2563C26B1107F81C945FFD7C8DD79789DF2E11AAC029137A79E4BAD |
| Key | Value |
|---|---|
| MD5 | F293AA8FD23230F5F2E66A1555031691 |
| PackageArch | aarch64 |
| PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
| PackageMaintainer | Fedora Project |
| PackageName | cryptominisat-debugsource |
| PackageRelease | 4.fc33 |
| PackageVersion | 5.7.1 |
| SHA-1 | 22DE1E57D9DE60C3B2029358EC55C3598DF0FFB0 |
| SHA-256 | F384BBEEF54D524C6C2A693DDFCB5D786DB0B61429EA76BE61C042268B353952 |
| Key | Value |
|---|---|
| MD5 | F22BBE827762C0207E666FBDF8843838 |
| PackageArch | armv7hl |
| PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
| PackageMaintainer | Fedora Project |
| PackageName | cryptominisat-debugsource |
| PackageRelease | 6.fc32 |
| PackageVersion | 5.6.8 |
| SHA-1 | 246DDCD7DD2971151DC6E4C81103E46BB3524B47 |
| SHA-256 | 6AA4D410B59856A9DED3B0CDB493FEC1FF2A9DACC840B806B80D59B13FEDEACE |
| Key | Value |
|---|---|
| MD5 | B637A9A694E1DDF081B6E5A357D72BE1 |
| PackageArch | x86_64 |
| PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
| PackageMaintainer | Fedora Project |
| PackageName | cryptominisat-debugsource |
| PackageRelease | 4.fc33 |
| PackageVersion | 5.7.1 |
| SHA-1 | 33B59F3E805F7CF44A9BFDEE0BB26D730D65F7AC |
| SHA-256 | AE95EE1A0DC492E4C1AFD0C8B91B91C7570E32A48F5402E2CC00FC2848DE99B4 |
| Key | Value |
|---|---|
| MD5 | 6B918F62409904E80F5EA3E9CBFB9892 |
| PackageArch | armv7hl |
| PackageDescription | This package provides debug sources for package cryptominisat. Debug sources are useful when developing applications that use this package or when debugging this package. |
| PackageMaintainer | Fedora Project |
| PackageName | cryptominisat-debugsource |
| PackageRelease | 4.fc33 |
| PackageVersion | 5.7.1 |
| SHA-1 | 3823CAF210350759BF94AD0CCB26ECC3453ACDDB |
| SHA-256 | 16EDCCFF03137ECF0E32AA2C818C72A577857C682AC2D0A7B869B232001B4204 |
| Key | Value |
|---|---|
| FileSize | 13216 |
| MD5 | 6C6899D007D168995980AE647B8A6A81 |
| 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 | 3C19E068B7CBB5424654055A9770FE0707580770 |
| SHA-256 | 2CC55426DC31BBFAF232ED04D1D64E578BD57AFEF8FF15CD1F084C592D6CB2FF |