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

A generator for 'Portia's Caskets'

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.

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

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

A Python program that solves Knights and Knaves logic puzzles using propositional logic and model-checking algorithms. Determine the truthfulness of characters based on their statements to solve these classic logic puzzles.

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.

Logic puzzle solver

JavaFX logic problem solver

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

Colección de ejercicios de lógica de programación en JavaScript para mejorar tus habilidades

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

Experience the excitement of solving riddles and brain teasers. Join the riot of fun and test your problem-solving skills.