aspcud-1.9.0-win64.zip (aspcud-1.9.0-win64.zip( 外部リンク: SF.net): 1,642,886 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。

ファイル情報

ファイルサイズ
1,642,886 バイト
MD5
6d92b24df3d43fe51e94ba9e70d1f1a7

プロジェクト概要

答え設定ソルバ クラスプ、ゴロ グリンゴの組み合わせ clingo と iclingo、Potassco、答えのプログラミング設定ポツダム回答セットを解くコレクション バンドル ツール開発ポツダム大学, それらの間で。