ペンギンの杜

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

*MiniSat＋ - - MiniSatベースの擬似論理演算最適化プログラム [#a5855551]
|メインページ|>| http://minisat.se/MiniSat+.html|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|MiniSatベースの擬似論理演算最適化プログラム|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(MiniSat＋);|

|検索|>|&ins_gsearch(MiniSat+);|

|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[minisat+:http://packages.debian.org/minisat+]]|~|
|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=MiniSat%EF%BC%8B]],&soft_addpkg(Ubuntu);|~|

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

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

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

|登録日|2011-05-16|~|

***説明 [#r5a557e4]
[[MiniSat>soft/MiniSat]]ベースの擬似論理演算最適化プログラム

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