ペンギンの杜

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

*CVC3 - - Satisfiability Modulo Theories問題用の自動定理証明プログラム [#t44b1370]
|メインページ|>| http://www.cs.nyu.edu/acsys/cvc3/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|Satisfiability Modulo Theories問題用の自動定理証明プログラム|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(CVC3);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[cvc3:http://packages.debian.org/cvc3]]|~|
|Ubuntuパッケージ|[[cvc3:http://packages.ubuntu.com/cvc3]]|~|
|RPMパッケージ|[[cvc3:http://fr2.rpmfind.net/linux/rpm2html/search.php?query=cvc3]]|~|
|FreeBSD Ports|[[検索:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=CVC3]],&soft_addpkg(ports);|~|

|FreeBSD Ports|[[cvc3:http://www.freebsd.org/cgi/ports.cgi?stype=name&query=cvc3]]|~|

|登録日|2010-01-05|~|

***説明 [#k539c568]
Satisfiability Modulo Theories(SMT)問題用の自動定理証明プログラム

----
***コメント [#h3a4ecf9]
#comment(above)