Port of Simon Tatham's Portable Puzzle Collection to the PocketBook eReader platform
-
Updated
Aug 7, 2024 - C
Port of Simon Tatham's Portable Puzzle Collection to the PocketBook eReader platform
Logic Engine for Grid-Using Puzzles - a better way to learn formal logic
zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".
Generator for a variety of logic puzzles drawn from books by Raymond Smullyan
A generator for 'Portia's Caskets'
Puzzles provides you a fun way to "invent" the key ideas on your own! Even if you fail to solve some puzzles, the time will not be lost as you will better appreciate the beauty and power of the underlying ideas.
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.
Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)
Add a description, image, and links to the logic-puzzles topic page so that developers can more easily learn about it.
To associate your repository with the logic-puzzles topic, visit your repo's landing page and select "manage topics."