Download of minion-1.7-src.tar.bz2 (minion-1.7-src.tar.bz2 ( external link: SF.net): 5,086,494 bytes) will begin shortly. If not so, click link on the left.
Minion is a lean, efficient solver for constraint satisfaction problems.