cvc4 1.8-3
| アーキテクチャ: | x86_64 |
|---|---|
| リポジトリ: | extra |
| ベースパッケージ: | cvc4 |
| 説明: | 自動定理証明器 |
| 上流 URL: | https://cvc5.github.io/ |
| ライセンス: | GPL, BSD, MIT, custom:HPND |
| パッケージ容量: | 5.4 MB |
| インストール容量: | 19.2 MB |
| パッケージ作成者: | Antonio Rojas |
| 最終更新: | 2023-09-02 01:53:03 JST |
依存パッケージ (6)
- libantlr3c
- cln
- readline (任意)
- cmake (ビルド)
- java-runtime (ビルド)
- python-toml (ビルド)
cvc4 を必要とするパッケージ (3)
- maude
- haskell-what4 (任意)
- yosys (任意)