Noorly NIS — des emplois du temps qui respectent toutes les contraintes, prouvés optimaux.
01Le problème
Un emploi du temps scolaire est un casse-tête combinatoire : enseignants, salles, classes, créneaux, disponibilités, plus des contraintes pédagogiques (pas deux fois la même matière dans la journée, équilibrage des étapes, indisponibilités). Le construire à la main prend des jours et casse à la moindre modification ; les générateurs naïfs enchaînent les conflits.
02Les décisions d'architecture
Un moteur fondé sur un solveur de contraintes CP-SAT (Google OR-Tools). Le problème est modélisé en variables + contraintes dures (aucun conflit salle / enseignant / classe) et souples (préférences, équilibrage) ; le solveur trouve une affectation optimale — ou prouve qu'aucune n'existe. Séparé du monolithe (dépôt dédié), exposé comme service : utilisable seul ou intégrable à Noorly. Un ADR documente le choix CP-SAT face aux heuristiques maison.