Skip to content

Beat the wumpus is a small artificial intelligence project based on game theory and propositional logic with a SAT solver in python

Notifications You must be signed in to change notification settings

BaguetteEater/beat_the_wumpus

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

45 Commits
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

Projet universitaire réalisé dans le cadre de IA02

Binôme numero 45 - Ulysse Brehon et Luis Enrique Gonzalez Hilario

Librairies Gophersat, wumpus_cli, wumpus_server réalisées par Sylvain Lagrue, Khaled Belahcene et Paul Ménard

Pour lancer ce projet :

→ Lancez ./wumper_server/wumpus-server-linux-0.12.0-rc3 dans un terminal

→ Lancez la commande python3 planification.py dans un autre terminal

Et voila, on resout des labyrinthes à la chaine :)

About

Beat the wumpus is a small artificial intelligence project based on game theory and propositional logic with a SAT solver in python

Topics

Resources

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages