/beat_the_wumpus

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

Primary LanguagePython

Stargazers