Day 5

Introduction to automated reasoning and constraint programming

 Author: Dimitri Justeau-Allaire
 Slides: https://ai-ecol.github.io/chapters/day5_1_intro_to_automated_reasonning_CP.pdf

Agronomic use case of constraint programming

 Author: Margot Challand
 Slides: https://ai-ecol.github.io/chapters/day5_2_agronomic_use_case_of_CP.pdf