[ ソース: cvc5 ]
パッケージ: libcvc5-dev (1.1.2-2 など)
libcvc5-dev に関するリンク
Debian の資源:
cvc5 ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [cvc5.github.io]
類似のパッケージ:
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