minion-1.8-linux.tar.gz (minion-1.8-linux.tar.gz( 外部リンク: SF.net): 16,517,977 バイト)のダウンロードが開始されます。開始されない場合,左のリンクをクリックしてください。
手先は、制約充足問題の無駄のない、効率的なソルバーです。