M1-INFO patia_22-23 Groupe : Tangara Abdoulhakim Ait gueni ssaid Abderrahmane Exercices Réalisés : Blocksworld Pursuit-Evasion Sokoban SAT Encoding