Download von minion-0.13-linux64.tar.gz (minion-0.13-linux64.tar.gz ( externer Link: SourceForge.net): 15,372,740 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf minion-0.13-linux64.tar.gz ( externer Link: SourceForge.net).
Minion is a lean, efficient solver for constraint satisfaction problems.