» Ubuntu » Pakiety » tenacious » libdevel » libcadical-dev
[  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]
[ Pakiet źródłowy: cadical  ]

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

O

Screenshot

published in section universe

Zasoby systemu Ubuntu:

Source Package cadical:

Opiekun:

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.

Zasoby zewnętrzne:

Podobne pakiety:

Simplified Satisfiability Solver (development files)

Pobieranie libcadical-dev

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
amd64 466,6 KiB2 302,0 KiB [lista plików]
arm64 473,1 KiB2 299,0 KiB [lista plików]
armhf 451,6 KiB1 560,0 KiB [lista plików]
ppc64el 523,1 KiB2 585,0 KiB [lista plików]
riscv64 2 578,8 KiB23 931,0 KiB [lista plików]
s390x 518,1 KiB2 422,0 KiB [lista plików]