ペンギンの杜

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

*MiniSat - - 高速軽量なSATソルバ [#da3801ea]
|メインページ|>| http://minisat.se/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|高速軽量なSATソルバ|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(MiniSat);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[minisat:http://packages.debian.org/minisat]]|~|
|Ubuntuパッケージ|[[minisat:http://packages.ubuntu.com/minisat]]|~|
|RPMパッケージ|[[検索:http://fr.rpmfind.net/linux/rpm2html/search.php?query=MiniSat]],&soft_addpkg(RPM);|~|

|RPMパッケージ|[[minisat:http://fr.rpmfind.net/linux/rpm2html/search.php?query=minisat]]|~|

|登録日|2011-03-30|~|

***説明 [#a7493743]
充足可能性問題（SAT）用ソルバ

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