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