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

Jogo de aventura pirata com três personagens jogáveis (Edward Teach, Thomas Tew e Henry Every). Cada personagem possui 3 fases com desafios de lógica, matemática e batalha naval. Desenvolvido em HTML, CSS e JavaScript puro.

Solve riddles, mysteries, brain teasers, and logic puzzles with AI. Auto Solves Games Like Sudoku, Connect The Dots. Gives Puzzles For You To Solve.

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'

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.

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

Logic puzzle solver

JavaFX logic problem 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.

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.

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