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

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

Ссылки для libcadical-dev

Screenshot

Ресурсы Ubuntu:

Исходный код cadical:

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

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.

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

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

Simplified Satisfiability Solver (development files)

Загрузка libcadical-dev

Загрузить для всех доступных архитектур
Архитектура Размер пакета В установленном виде Файлы
amd64 457,1 Кб2 299,0 Кб [список файлов]
arm64 464,1 Кб2 302,0 Кб [список файлов]
armhf 448,3 Кб1 578,0 Кб [список файлов]
ppc64el 511,5 Кб2 587,0 Кб [список файлов]
riscv64 2 544,9 Кб23 817,0 Кб [список файлов]
s390x 497,3 Кб2 420,0 Кб [список файлов]