/wumpus-world-resolution

Submission for AI 551. Wumpus World using propositional logic resolution.

Primary LanguageC++

Watchers