ペンギンの杜

• 追加された行はこの色 です。
• 削除された行はこの色 です。
• soft/CVC4 へ行く。

*CVC4 - - 充足可能性モジュロ理論用の自動定理証明プログラム [#j31393fa]

|メインページ|>| http://cvc4.cs.stanford.edu/|

|参考ページ1|>| http://|

|参考ページ2|>| http://|

|概要|>|充足可能性モジュロ理論用の自動定理証明プログラム|

|カテゴリ|>|&soft_rcate(category/);|

|関連ソフト|>|&related2(soft/);|

|検索|>|&ins_gsearch(CVC4);|

|ライセンス|フリー|&amazon_ad();|

|Debianパッケージ|[[cvc4:http://packages.debian.org/cvc4]]|~|

|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=CVC4]],&soft_addpkg(Ubuntu);|~|

|RPMパッケージ|[[検索:http://fr2.rpmfind.net/linux/rpm2html/search.php?query=CVC4]],&soft_addpkg(RPM);|~|

|FreeBSD Ports|[[検索:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=CVC4]],&soft_addpkg(ports);|~|

|登録日|2017-11-11|~|


***説明 [#me755ab4]

充足可能性モジュロ理論用の自動定理証明プログラム



----

***コメント [#ff93c3a1]

#comment(above)