Package - libcryptominisat5-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cryptominisat/libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb (Size: 18.4KiB)| Property | Value |
|---|---|
| Package | libcryptominisat5-dev |
| Source | cryptominisat |
| Version | 5.11.21+dfsg1-2 |
| Installed-Size | 86 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Depends | libcryptominisat5-5.11t64 (= 5.11.21+dfsg1-2) |
| Description | development files for the CryptoMiniSat SAT solver |
| Description-md5 | f8f2f7e4ceaa14d0a5cf6abb1c1eb23b |
| Multi-Arch | same |
| Homepage | https://www.msoos.org/ |
| Tag | devel::library, role::devel-lib |
| Section | libdevel |
| Priority | optional |
| Filename | pool/main/c/cryptominisat/libcryptominisat5-dev_5.11.21+dfsg1-2_amd64.deb |
| Size | 18816 |
| MD5sum | 0342dd4ffd6e4034269f5e930799d179 |
| SHA256 | 759f3890d54bc12cb0a64b5444f3d96366a54f3bb4bfa807ae6b4a2d2739b670 |
Files in package
- /usr/include/cryptominisat5/cryptominisat.h
- /usr/include/cryptominisat5/cryptominisat_c.h
- /usr/include/cryptominisat5/dimacsparser.h
- /usr/include/cryptominisat5/solvertypesmini.h
- /usr/include/cryptominisat5/streambuffer.h
- /usr/lib/cmake/cryptominisat5/cryptominisat5Config.cmake
- /usr/lib/cmake/cryptominisat5/cryptominisat5ConfigVersion.cmake
- /usr/lib/cmake/cryptominisat5/cryptominisat5Targets-relwithdebinfo.cmake
- /usr/lib/cmake/cryptominisat5/cryptominisat5Targets.cmake
- /usr/lib/x86_64-linux-gnu/libcryptominisat5.so
- /usr/share/doc/libcryptominisat5-dev/changelog.Debian.gz
- /usr/share/doc/libcryptominisat5-dev/copyright