packages
[ Source: cadical ]
Paketti: libcadical-dev (2.1.3-2) [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 | 457.1 kt | 2,299.0 kt | [tiedostoluettelo] |
| arm64 | 464.1 kt | 2,302.0 kt | [tiedostoluettelo] |
| armhf | 448.3 kt | 1,578.0 kt | [tiedostoluettelo] |
| ppc64el | 511.5 kt | 2,587.0 kt | [tiedostoluettelo] |
| riscv64 | 2,544.9 kt | 23,817.0 kt | [tiedostoluettelo] |
| s390x | 497.3 kt | 2,420.0 kt | [tiedostoluettelo] |