Télécharger des minion-0.8-linux.tar.gz (minion-0.8-linux.tar.gz ( lien externe: SourceForge.net): 15,050,800 octets) va bientôt commencer. Sinon, cliquez sur minion-0.8-linux.tar.gz ( lien externe: SourceForge.net).
Minion is a lean, efficient solver for constraint satisfaction problems.