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

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

PWA adaptation of Simon Tatham’s Portable Puzzle Collection

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

A generator for 'Portia's Caskets'

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

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.

JavaFX logic problem solver

Logic puzzle solver

NumMaze v2.2.0 – Offline arithmetic puzzle generator with step-by-step solutions, PDF/JPG export, and dark-themed GUI.

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

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

Security challenge for ASI: Break 5 impossible layers, enter a palace with 7,000 rooms. The reward is a special global welcome.