[ Source: cadical ]
Package: libcadical-dev (1.7.4-1) [universe]
Links for libcadical-dev
Ubuntu Resources:
Download Source Package cadical:
Maintainer:
Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.
Original Maintainers (usually from Debian):
- Debian Science Maintainers
- Scott Talbert
It should generally not be necessary for users to contact the original maintainer.
External Resources:
- Homepage [fmv.jku.at]
Similar packages:
Simplified Satisfiability Solver (development files)
Download libcadical-dev
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| amd64 | 375.5 kB | 1,872.0 kB | [list of files] |
| arm64 | 373.7 kB | 1,947.0 kB | [list of files] |
| armhf | 375.6 kB | 1,360.0 kB | [list of files] |
| ppc64el | 421.3 kB | 2,230.0 kB | [list of files] |
| riscv64 | 1,622.8 kB | 13,438.0 kB | [list of files] |
| s390x | 418.3 kB | 2,097.0 kB | [list of files] |