#

knights-knaves

Here are 4 public repositories matching this topic...

dmackinnon1 / knaves

a knights and knaves puzzle generator

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

Updated Oct 10, 2018
JavaScript

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

panpusto / cs50-ai-knights

Knights and Knaves puzzle

ai knowledge-base propositional-logic knights-knaves

Updated Jun 6, 2023
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

Improve this page

Add a description, image, and links to the knights-knaves topic page so that developers can more easily learn about it.

Curate this topic

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."