ペンギンの杜

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

*Boolector - - ビットベクトルやビットアレイ用のSMTソルバ [#ob040e08]
|メインページ|>| http://fmv.jku.at/boolector/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|ビットベクトルやビットアレイ用のSMTソルバ|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(Boolector);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[boolector:http://packages.debian.org/boolector]]|~|
|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=Boolector]],&soft_addpkg(Ubuntu);|~|

|Ubuntuパッケージ|[[boolector:http://packages.ubuntu.com/boolector]]|~|

|RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=Boolector]],&soft_addpkg(RPM);|~|
|登録日|2010-06-16|~|

***説明 [#j10c0bbd]
ビットベクトルやビットアレイ用のSMT (Satisfiability Modulo Theories)ソルバ

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