A Python-based reimplementation of Zachtronic's Dungeons and Diagrams
generator and pages for "Forest of Forgetfulness" logic puzzles
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.
Sudoku app with logical solving, hint system, and puzzle generation.
A high-performance logic puzzle engine using Google OR-Tools to solve complex seating arrangement challenges from the game "Is This Seat Taken?".
An algorithm to automatically generate logic puzzles.
A computer-vision and constraint-based solver for Crowns (Queens) logic puzzles.
A parser for `*.prb` files, that are used by "Delphi for Fun" Logic Problem Solver by Gary Darby.
RestAPI for the Hashiwokakero puzzle
🧩🔠🎮 Kakuro game, played from some well-known AI algorithms
Kakuro is a logic puzzle that is often referred to as a mathematical transliteration of the crossword. The aim of this work is to see how certain algorithms behave through solving this game.
An atmospheric terminal-hacking simulation inspired by retro-futuristic security interfaces. Breach encrypted mainframes across 100 levels or test your skills in the hardcore Endless Mode. Features CRT aesthetics and an original soundtrack. Navigate the binary shadows and establish root access. Developed for the shadows.
Add a description, image, and links to the logic-puzzle topic page so that developers can more easily learn about it.
To associate your repository with the logic-puzzle topic, visit your repo's landing page and select "manage topics."