Download von minion-1.8-linux.tar.gz (minion-1.8-linux.tar.gz ( externer Link: SourceForge.net): 16,517,977 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf minion-1.8-linux.tar.gz ( externer Link: SourceForge.net).
Minion is a lean, efficient solver for constraint satisfaction problems.