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.

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

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

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

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

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.

Logic puzzles from "Alice in Puzzle-Land."

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

About: Work with partners to create a Full-Stack web application on any topic of your choice: Implement all baseline features Implement two custom features Implement zero or more stretch features.

Logic puzzle solver using Z3 Theorem Prover