packages
[ Source: cadical ]
Paketti: libcadical-dev (1.7.4-1) [universe]
Links for libcadical-dev
Ubuntu-palvelut:
Imuroi lähdekoodipaketti cadical:
Ylläpitäjä:
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:
- Kotisivu [fmv.jku.at]
Samankaltaisia paketteja:
Simplified Satisfiability Solver (development files)
Imuroi libcadical-dev
| Arkkitehtuuri | Paketin koko | Koko asennettuna | Tiedostot |
|---|---|---|---|
| amd64 | 375.5 kt | 1,872.0 kt | [tiedostoluettelo] |
| arm64 | 373.7 kt | 1,947.0 kt | [tiedostoluettelo] |
| armhf | 375.6 kt | 1,360.0 kt | [tiedostoluettelo] |
| ppc64el | 421.3 kt | 2,230.0 kt | [tiedostoluettelo] |
| riscv64 | 1,622.8 kt | 13,438.0 kt | [tiedostoluettelo] |
| s390x | 418.3 kt | 2,097.0 kt | [tiedostoluettelo] |