AI Agent
🧠 Wumpus
Logic
Agent
Propositional Logic · Resolution Refutation · CNF Inference
IDLE
🟡 Set parameters and click Initialize World to begin.