#

knights-knaves

Here are 5 public repositories matching this topic...

dmackinnon1 / knaves

a knights and knaves puzzle generator

puzzle logic knights-knaves islander-puzzle smullyan logic-puzzle

Updated Jun 9, 2026
JavaScript

chihebabiza / Knights-and-Knaves-puzzle

A small Python project that solves classic Knights and Knaves logic puzzles using propositional logic and model checking.

python3 puzzle-game logic-programming knights-knaves

Updated Mar 26, 2026
Python

arielfayol37 / Knights

AI implementation of inferences using propositional logic to solve "Knights and Knaves" puzzles

ai propositional-logic puzzle-solver knights-knaves

Updated Jul 24, 2023
Python

SergioT14 / Theorem-proving-with-Scala

This repository will store three Scala notebooks made for my Computer Engineering Thesis. The notebooks are divided into categories, each with a different type of proven exercises: Resolution (and refutation), natural deduction and Knights&Knaves puzzles.

natural-deduction refutation-resolution knights-knaves

Updated Apr 3, 2024
Jupyter Notebook

nazc93 / cs50-ai-knights

Knights and Knaves puzzle

ai knowledge-base propositional-logic knights-knaves

Updated Jun 6, 2023
Python

Add this topic to your repo

To associate your repository with the knights-knaves topic, visit your repo's landing page and select "manage topics."