Download of minion-mac-4_0_1.zip (minion-mac-4_0_1.zip ( external link: SF.net): 22,008,886 bytes) will begin shortly. If not so, click link on the left.
Minion is a lean, efficient solver for constraint satisfaction problems.