Projects in Awesome Lists tagged with knights-and-knaves
A curated list of projects in awesome lists tagged with knights-and-knaves .
https://github.com/joker314/liars-and-truth-tellers
A brute-force solver for problems about truth tellers (knights) and liars (knaves)
knights-and-knaves puzzle-solver
Last synced: 06 May 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/emansarahafi/knowledge-based-agents
An Artificial Intelligence (CS485) lab based on the "Knights & Knaves" logic puzzle in fall 2023.
Last synced: 04 Mar 2025
