» Ubuntu » Paketit » tenacious » libdevel » libcadical-dev
[  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]
[ Source: cadical  ]

Paketti: libcadical-dev (2.1.3-3) [universe]

Tietoa

Screenshot

published in section universe

Ubuntu-palvelut:

Source Package 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):

It should generally not be necessary for users to contact the original maintainer.

External Resources:

Samankaltaisia paketteja:

Simplified Satisfiability Solver (development files)

Imuroi libcadical-dev

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
amd64 466.6 kt2,302.0 kt [tiedostoluettelo]
arm64 473.1 kt2,299.0 kt [tiedostoluettelo]
armhf 451.6 kt1,560.0 kt [tiedostoluettelo]
ppc64el 523.1 kt2,585.0 kt [tiedostoluettelo]
riscv64 2,578.8 kt23,931.0 kt [tiedostoluettelo]
s390x 518.1 kt2,422.0 kt [tiedostoluettelo]