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