ペンギンの杜

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

*aspcud - - 解集合プログラミングのCUDFソルバ [#m90fdfcc]
|メインページ|>| http://www.cs.uni-potsdam.de/wv/aspcud/|
|参考ページ1|>| http://|
|参考ページ2|>| http://|
|概要|>|解集合プログラミングのCUDFソルバ|
|カテゴリ|>|&soft_rcate(category/);|
|関連ソフト|>|&related2(soft/);|
|検索|>|&ins_gsearch(aspcud);|
|ライセンス|フリー|&amazon_ad();|
|Debianパッケージ|[[aspcud:http://packages.debian.org/aspcud]]|~|
|Ubuntuパッケージ|[[検索:http://packages.ubuntu.com/search?keywords=aspcud]],&soft_addpkg(Ubuntu);|~|

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

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

***説明 [#n5b9cff8]
解集合プログラミングのCUDFソルバ

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