[ Источник: cvc5 ]
Пакет: libcvc5-dev (1.1.2-2 и другие)
Ссылки для libcvc5-dev
Ресурсы Debian:
- Сообщения об ошибках
- Developer Information
- Debian журнал изменений
- Файл авторских прав
- Отслеживание заплат Debian
Исходный код cvc5:
Сопровождающие:
Внешние ресурсы:
- Сайт [cvc5.github.io]
Подобные пакеты:
automated theorem prover for SMT problems (development files)
Другие пакеты, относящиеся к libcvc5-dev
|
|
|
|
-
- dep: libcvc5-1 (= 1.1.2-2+b1)
- automated theorem prover for SMT problems (runtime)
-
- dep: libcvc5parser1 (= 1.1.2-2+b1)
- automated theorem prover for SMT problems (parser runtime)
-
- dep: libgmp-dev
- Multiprecision arithmetic library developers tools
Загрузка libcvc5-dev
| Архитектура | Версия | Размер пакета | В установленном виде | Файлы |
|---|---|---|---|---|
| arm64 | 1.1.2-2+b1 | 91,0 Кб | 686,0 Кб | [список файлов] |