A brute-force solver for problems about truth tellers (knights) and liars (knaves)
-
Updated
Jun 16, 2021 - Python
#
knights-and-knaves
Here are 8 public repositories matching this topic...
A liar puzzle game in the world of werewolves
-
Updated
Feb 7, 2026 - Python
-
Updated
Sep 29, 2025 - Python
Program that solves Raymond Smullyan's “Knights and Knaves” logic puzzles. It uses logical inference rules and the puzzle's conditions as a knowledge base.
-
Updated
Nov 17, 2024 - Python
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.
python ai game-theory model-checking propositional-logic puzzle-solver knights-and-knaves educational-project algorithmic-puzzles logic-puzzles logical-reasoning raymond-smullyan
-
Updated
Jul 28, 2024 - Python
Solving "Knights and Knaves" puzzles through knowledge-based reasoning.
-
Updated
Dec 5, 2025 - Python
A knowledge-based system solving Knights and Knaves puzzles using propositional logic and model checking to demonstrate AI concepts like symbolic reasoning and knowledge representation.
-
Updated
May 31, 2025 - Python
Improve this page
Add a description, image, and links to the knights-and-knaves topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the knights-and-knaves topic, visit your repo's landing page and select "manage topics."