Section: CM (based on MiniZinc) | Programmation par Contraintes | Madoc-Maj

Home Recherche de cours Aide Outils Eportfolio Enseigner avec le numérique

Latest announcements

21 March 2023, 6:20 PM
MONFROY Eric
Dernier suivi projet
21 March 2023, 5:00 PM
MONFROY Eric
TD d'aujourd'hui 21/03
5 March 2023, 4:32 PM
MONFROY Eric
Rappel: demain 6/03 début à 11h00
15 February 2023, 9:31 AM
MONFROY Eric
cours du 6/03
5 February 2021, 7:00 PM
MONFROY Eric
cours du 10/02/2021

Upcoming events

There are no upcoming events

Recent activity

Activity since Tuesday, 16 December 2025, 12:38 PM

Full report of recent activity...

No recent activity

Section outline

- Select activity Introduction to Constraint Programming
  
  Introduction to Constraint Programming File
- Select activity Modeling?
  
  Modeling? File
- Select activity Short term vs. Long Term Modeling
  
  Short term vs. Long Term Modeling File
- Select activity Introduction to MiniZinc
  
  Introduction to MiniZinc File
- Select activity Modélisation avancée
  
  Modélisation avancée File
- Select activity Local consistency
  
  Local consistency File
- Select activity Search
  
  Search File
- Select activity SAT
  
  SAT File