Définition du périmètre
Filtrage des Règles
Contraintes fondamentales
Contraintes métier
Liste des règles
0 / 0 règles actives
| ID | Label | Generator | Filter | Constraint | Type | Status |
|---|
ou
ou
ou
Entrez les numéros des règles à désactiver. Utilisez des virgules pour séparer les règles et des tirets pour les plages (ex: 1,2-5).
Filtrage des Ressources
Liste des cours
0 / 0 cours actifs
| ID | Label | Parts | Status |
|---|
Liste des enseignants
0 / 0 enseignants actifs
| ID | Nom | Département | Volume horaire | Status |
|---|
Liste des salles
0 / 0 salles actives
| ID | Nom | Capacité | Type | Bâtiment | Status |
|---|
Configuration du Solveur
Stratégies des variables
Les stratégies définissent l'ordre et la manière dont le solveur traite les variables.
Format: {"x_room":[{"rank":"*"},"first_fail","indomain_random"]}
Types de variables: x_room, x_rooms, x_teacher, x_teachers, x_slot
Stratégies d'ordre: input_order, first_fail, anti_first_fail, etc.
Stratégies de parcours: indomain_min, indomain_max, indomain_random, etc.
Mode avancé
Attention: Ce mode permet d'entrer directement la configuration JSON du solveur.
Utilisez-le uniquement si vous savez ce que vous faites.
Solutions
Statut du solveur
État: Inactif