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

a knights and knaves puzzle generator

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

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

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.

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"

Implementación de solvers para Picross y sus variaciones (Color Picross y Mega Picross) usando Constraint Programming con Google OR-Tools. Incluye modelado como CSP, algoritmos de generación de patrones, visualizaciones interactivas y un frontend en Next.js.

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

scripts and interface for a set of logic puzzles

🧩🔠🎮 Kakuro game, played from some well-known AI algorithms

Logic puzzle solver implementing constraint satisfaction algorithms - 42 School algorithmic thinking project with backtracking and optimization