missionnairesTemplate.py
planificateurTemplate.py
ContrainteAxiomeCadre.
reviser
L’algorithme REVISER n’est pas defini pour des contraintes n-aires