Ce projet développe un solveur pour le jeu du Wumpus, un problème classique de logique et d'exploration. Il utilise des algorithmes avancés comme le solveur SAT pour déterminer les actions optimales dans un monde virtuel. L'objectif est de naviguer efficacement dans un environnement inconnu en évitant les pièges et en maximisant les gains.