Symbolic AI demo

Knowledge-Based Minesweeper AI

Play a small Minesweeper board and compare your choices with an AI agent that reasons from logical constraints.