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".

[ACL 2025] FineReason: Evaluating and Improving LLMs' Deliberate Reasoning through Reflective Puzzle Solving

PWA adaptation of Simon Tatham’s Portable Puzzle Collection

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

🧩 Generate professional puzzle books with customizable difficulty levels and layouts using this powerful Python library and command-line tool.

Interactive logic puzzle solver using Prolog and WebAssembly with step-by-step reasoning visualization

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.

🤖 Enhance your thinking skills with LongCat-Flash-Thinking, an interactive tool for quick and effective cognitive training and memory improvement.

A generator for 'Portia's Caskets'

A Python library and command-line tool for generating professional puzzle books including Sudoku and Maze puzzles. Create print-ready PDF books with customizable difficulty levels, professional layouts, and high-quality formatting.

Sudoku solver using SAT: encode puzzles into CNF, solve with a SAT solver, and reconstruct the solution.

Constraint satisfaction logic programming to solve Penny Press and Dell logic puzzles.

Logic puzzle solver

🧩 An advanced Sudoku implementation in Python featuring 4 unique challenges. Built with Pygame, it combines complex backtracking algorithms with a scalable grid system for a "Mega" puzzle experience.

Five Prolog logic puzzles solved for the UoA DI Logic Programming course. Greek problem statements preserved as comments; English README orients an external reader. Solo project.

JavaFX logic problem solver

Twelve classic & logic-puzzle browser games — vanilla HTML/CSS/JS, no build. Tic-Tac-Toe, 2048, Minesweeper, Memory, Chess, Connect Four, Lights Out, Mini Sudoku, Tango, Queens, Zip, Patches.

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