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