[ Bron: cvc5 ]
Pakket: libcvc5-dev (1.1.2-2 en anderen)
Verwijzigingen voor libcvc5-dev
Debian bronnen:
Het bronpakket cvc5 downloaden:
Beheerders:
Externe bronnen:
- Homepage [cvc5.github.io]
Vergelijkbare pakketten:
automated theorem prover for SMT problems (development files)
Andere aan libcvc5-dev gerelateerde pakketten
|
|
|
|
-
- 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