» Ubuntu » Пакеты » tenacious » libdevel » libcadical-dev
[  noble  ] [  resolute  ] [  stonking  ] [  tenacious  ]
[ Источник: cadical  ]

Пакет: libcadical-dev (2.1.3-3) [universe]

О Debian

Screenshot

published in section universe

Ресурсы Ubuntu:

Source Package cadical:

Сопровождающий:

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.

Внешние ресурсы:

Подобные пакеты:

Simplified Satisfiability Solver (development files)

Загрузка libcadical-dev

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 466,6 Кб2 302,0 Кб [список файлов]
arm64 473,1 Кб2 299,0 Кб [список файлов]
armhf 451,6 Кб1 560,0 Кб [список файлов]
ppc64el 523,1 Кб2 585,0 Кб [список файлов]
riscv64 2 578,8 Кб23 931,0 Кб [список файлов]
s390x 518,1 Кб2 422,0 Кб [список файлов]