Download of minion-1.6.1-linux64.tar.gz (minion-1.6.1-linux64.tar.gz ( external link: SF.net): 16,523,742 字节) will begin shortly. If not so, click link on the left.
Minion is a lean, efficient solver for constraint satisfaction problems.