GitHub topics: logic-puzzles

Repositories

SteffenBauer/PocketPuzzles

Port of Simon Tatham's Portable Puzzle Collection to the PocketBook eReader platform

Language: C - Size: 17.8 MB - Last synced at: 28 days ago - Pushed at: 28 days ago - Stars: 66 - Forks: 2

Bram-Hub/LEGUP

Logic Engine for Grid-Using Puzzles - a better way to learn formal logic

Language: Java - Size: 360 MB - Last synced at: 12 days ago - Pushed at: 12 days ago - Stars: 34 - Forks: 83

murfffi/zebra4j

zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".

Language: Java - Size: 999 KB - Last synced at: about 8 hours ago - Pushed at: 8 months ago - Stars: 12 - Forks: 2

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.

Language: Python - Size: 3.91 KB - Last synced at: about 2 months ago - Pushed at: 9 months ago - Stars: 1 - Forks: 0

maehw/wokwi-verilog-gds-wolf-goat-cabbage Fork of mattvenn/wokwi-verilog-gds-test

Wolf sheep cabbage river crossing puzzle ASIC design (🐺🐐🥬🚣)

Language: Verilog - Size: 104 KB - Last synced at: about 2 years ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0

dmackinnon1/inspectorCraig

Generator for a variety of logic puzzles drawn from books by Raymond Smullyan

Language: HTML - Size: 1.25 MB - Last synced at: about 2 years ago - Pushed at: over 6 years ago - Stars: 1 - Forks: 0

modhtanmay/Algorithmic-Logical-Puzzles

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.

Size: 1000 Bytes - Last synced at: about 2 years ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0