[ 源代码： cvc5 ]
软件包：libcvc5-dev（1.1.2-2 以及其他的）
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