[ Källkod: cvc5 ]
Paket: libcvc5-dev (1.1.2-2 och andra)
Länkar för libcvc5-dev
Debianresurser:
Hämta källkodspaketet cvc5:
Ansvariga:
Externa resurser:
- Hemsida [cvc5.github.io]
Liknande paket:
automated theorem prover for SMT problems (development files)
Andra paket besläktade med 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
Hämta libcvc5-dev
| Arkitektur | Version | Paketstorlek | Installerad storlek | Filer |
|---|---|---|---|---|
| armhf | 1.1.2-2+b1 | 91,1 kbyte | 686,0 kbyte | [filförteckning] |