[ 原始碼： 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