[ Източник: 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 кБ | [списък на файловете] |