clasp-3.2.0-source.tar.gz (clasp-3.2.0-source.tar.gz( 外部リンク: SF.net): 715,226 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。
答え設定ソルバ クラスプ、ゴロ グリンゴの組み合わせ clingo と iclingo、Potassco、答えのプログラミング設定ポツダム回答セットを解くコレクション バンドル ツール開発ポツダム大学, それらの間で。