A brute-force solver for problems about truth tellers (knights) and liars (knaves)
-
Updated
Jun 16, 2021 - Python
#
knights-and-knaves
Here are 4 public repositories matching this topic...
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
An Artificial Intelligence (CS485) lab based on the "Knights & Knaves" logic puzzle in fall 2023.
-
Updated
Apr 1, 2024 - 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
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."