Download von checksums.sha1 (checksums.sha1 ( externer Link: SourceForge.net): 627 Bytes) wird in Kürze beginnen. Wenn nicht, klicke auf checksums.sha1 ( externer Link: SourceForge.net).
Minion is a lean, efficient solver for constraint satisfaction problems.