Package - libcadical-dev
Primary informations
Download package: http://deb.debian.org/debian/pool/main/c/cadical/libcadical-dev_1.7.4-1+b1_amd64.deb (Size: 343.9KiB)| Property | Value |
|---|---|
| Package | libcadical-dev |
| Source | cadical (1.7.4-1) |
| Version | 1.7.4-1+b1 |
| Installed-Size | 1836 |
| Maintainer | Debian Science Maintainers |
| Architecture | amd64 |
| Description | Simplified Satisfiability Solver (development files) |
| Description-md5 | ae908dcf4f3ffc7f8fda281e112f0e49 |
| Multi-Arch | same |
| Homepage | http://fmv.jku.at/cadical/ |
| Tag | devel::library, role::devel-lib |
| Section | libdevel |
| Priority | optional |
| Filename | pool/main/c/cadical/libcadical-dev_1.7.4-1+b1_amd64.deb |
| Size | 352116 |
| MD5sum | 9cec215c15f787f48256e395da6bf4de |
| SHA256 | 0dff29e5fff081bc2ee7b72d2d00fd24ed779b405da0c6fb8539439e1ae224dc |
Files in package
- /usr/include/cadical.hpp
- /usr/include/ccadical.h
- /usr/lib/x86_64-linux-gnu/libcadical.a
- /usr/share/doc/libcadical-dev/changelog.Debian.amd64.gz
- /usr/share/doc/libcadical-dev/changelog.Debian.gz
- /usr/share/doc/libcadical-dev/copyright