Projects in Awesome Lists tagged with algorithmic-puzzles
A curated list of projects in awesome lists tagged with algorithmic-puzzles .
https://github.com/savinrazvan/minesweeper
An AI for playing Minesweeper, utilizing propositional logic and knowledge-based inference to identify safe cells and mines. The AI learns from the game's state to make informed decisions.
ai algorithmic-puzzles educational-project game-ai knowledge-based-inference logical-reasoning minesweeper propositional-logic puzzle-solver python
Last synced: 03 Apr 2025
https://github.com/savinrazvan/knights
A Python program that solves Knights and Knaves logic puzzles using propositional logic and model-checking algorithms. Determine the truthfulness of characters based on their statements to solve these classic logic puzzles.
ai algorithmic-puzzles educational-project game-theory knights-and-knaves logic-puzzles logical-reasoning model-checking propositional-logic puzzle-solver python raymond-smullyan
Last synced: 27 Feb 2025
https://github.com/amwolff/algo2020
My solutions to problems from the facultative Applied Algorithmics course at the Military University of Technology in Warsaw
algorithmic-programming-exercises algorithmic-puzzles competitive-coding competitive-programming
Last synced: 27 Mar 2025
