ペンギンの杜

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

*DepQBF - - 限量子付ブール式(QBF)用ソルバー [#r08483c7]

|メインページ|>| http://fmv.jku.at/depqbf/|

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

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

|概要|>|限量子付ブール式(QBF)用ソルバー|

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

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

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

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

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

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

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

|登録日|2011-09-13|~|


***説明 [#o3bf9568]

限量子付ブール式(quantified boolean formulae:QBF)用ソルバー



----

***コメント [#hd207adc]

#comment(above)