[ Zdroj: cvc5 ]
Balík: libcvc5-dev (1.1.2-2 a iné)
Odkazy pre libcvc5-dev
Zdroje Debian:
Stiahnuť zdrojový balík cvc5:
Správcovia:
Externé zdroje:
- Domovská stránka [cvc5.github.io]
Podobné balíky:
automated theorem prover for SMT problems (development files)
Ostatné balíky súvisiace s balíkom 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
- aritmetická knižnica s viacnásobnou presnosťou - vývojové nástroje
Stiahnuť libcvc5-dev
| Architektúra | Verzia | Veľkosť balíka | Nainštalovaná veľkosť | Súbory |
|---|---|---|---|---|
| s390x | 1.1.2-2+b1 | 91.0 kB | 686.0 kB | [zoznam súborov] |