Les fonctions suivantes sont prises en charge :  

• Classement des contraintes (à l'aide de la rétrogradation des contraintes (Tesar et Smolensky 1993) et d'autres algorithmes)
• Diagnostic d'ensembles de contraintes défaillants
• Localisation des contraintes redondantes
• Argumentation de classement automatisée
• Préparation de tableaux standardisés
• Typologie factorielle
• Symboles phonétiques IPA
• Diagrammes de Hasse (représentation graphique du classement)
• Classements a priori (spécifiés par l'utilisateur)
• Saisie automatique de certaines violations de contraintes par des descriptions structurelles
• "Tableaux stochastiques" dans la sortie de l'Algorithme d'apprentissage graduel
• Amélioration de l'argumentation du classement (algorithme de Prince et Brasoveanu)
• Une évaluation précise de "est nécessaire" pour les contraintes (correction bug)
• Grammaires maximales