広告
広告CVC4 - - 充足可能性モジュロ理論用の自動定理証明プログラム
メインページ | http://cvc4.cs.stanford.edu/ | |
参考ページ1 | http:// | |
参考ページ2 | http:// | |
概要 | 充足可能性モジュロ理論用の自動定理証明プログラム | |
カテゴリ | [科学・技術/数学・統計学 ] | |
関連ソフト | -- | |
検索 | CVC4をGoogleで検索 | |
ライセンス | フリー | |
Debianパッケージ | cvc4 | |
Ubuntuパッケージ | 検索 , | |
RPMパッケージ | 検索 , | |
FreeBSD Ports | 検索 , | |
登録日 | 2017-11-11 |
説明
充足可能性モジュロ理論用の自動定理証明プログラム