Download of minion-0.5.0-linux.zip (minion-0.5.0-linux.zip ( external link: SF.net): 12,996,452 字节) will begin shortly. If not so, click link on the left.
Minion is a lean, efficient solver for constraint satisfaction problems.