Port of Simon Tatham's Portable Puzzle Collection to the PocketBook eReader platform

A Python-based reimplementation of Zachtronic's Dungeons and Diagrams

zebra4j is a generator and solver library for Zebra puzzles, also knows as "logic grid puzzles".

Zebra-style logic puzzle generator.

generator and pages for "Forest of Forgetfulness" logic puzzles

The Jindosh Riddle from Dishonered 2, solved using a F# bruteforce search

고전 논리를 이용한 엘레강스한 문제

a knights and knaves puzzle generator

답을 모르겠습니다.... 당신이 답을 모른다면 저는 답을 알겠군요!

Logic Problem Day! The children's game of "FizzBuzz"

scripts and interface for a set of logic puzzles

Logic puzzles from "Alice in Puzzle-Land."

🧩🔠🎮 Kakuro game, played from some well-known AI algorithms

Logic puzzle solver using Z3 Theorem Prover

A solver for the Jindosh Riddle from Dishonered 2, solved using Go

Projeto para resolver um problema de lógica por dia

More logic problems! The "Clock Angle" problem.

A logic puzzle pApp.

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.