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

A Python-based reimplementation of Zachtronic's Dungeons and Diagrams

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

Zebra-style logic puzzle generator.

Extended logic puzzle solver of noq.

generator and pages for "Forest of Forgetfulness" logic puzzles

The Jindosh Riddle from Dishonered 2, solved using a F# bruteforce search

고전 논리를 이용한 엘레강스한 문제

a knights and knaves puzzle generator

A logic puzzle game where you redirect and split laser beams to create digital circuits.

Sudoku app with logical solving, hint system, and puzzle generation.

답을 모르겠습니다.... 당신이 답을 모른다면 저는 답을 알겠군요!

ABC Logic Puzzle: Engage Your Brain with the Ultimate Puzzle Game

Logic Problem Day! The children's game of "FizzBuzz"

A concise, research‑oriented Python toolkit for DSAI 104 “Knowledge Representation & Reasoning,” featuring an interactive Jupyter notebook on business‑rule encoding and salary computation plus two standalone logic engines—a Knights & Knaves solver and an English–predicate logic translator.

Logic puzzles from "Alice in Puzzle-Land."

A Rust library for solving any river crossing puzzle, finding all optimal solutions, and providing a great learning resource for Rust and library design.

Logic puzzle solver using Z3 Theorem Prover

A parser for `*.prb` files, that are used by "Delphi for Fun" Logic Problem Solver by Gary Darby.