100+ solvers for logic puzzles with ortools, 41k+ datasets for 130+ puzzles, e.g. Nonogram, Slitherlink, Fillomino, Creek, Akari, Yajilin and Sudoku-variants.
A general pattern-based solver of finite Constraint Satisfaction problems
Examples and large scale studies with the CSP-Rules-V2.1 project
Explainable and step-wise inference solver for logical puzzle slitherlink and Masyu.
Minimalist offline-first daily puzzle app (Sudoku · Binary · Nonogram · Slitherlink) built with Expo & React Native. iOS live.
Solver for grid puzzles, e.g. Sudokus, Futoshiki, KillerSudoku etc.
Lawgic 羅輯 | Esports-grade logic puzzle platform & psychometric engine powered by deterministic procedural generation, CSP solvers, and zero-trust verification.
Challenge your brain with Slitherlink, the timeless Japanese logic puzzle where deductive reasoning meets minimalist design
Small daily logic puzzle games (Arrows Out, Bridges, Two Stars, Loop) as offline-capable web apps. Free, no ads, no sign-up.
Package R & App Shiny pour le jeu Slitherlink. Comprend un générateur de grilles à solution unique, un double solveur (C++ Backtracking & ILP lpSolve) et un leaderboard SQLite.
Artificial Intelligence course @ IST
Fences/Slither link implementation in rust
A Windows-native TUI logic puzzle game inspired by Slitherlink. Features a custom character-based GUI framework and a hexagonal backtracking solver. Developed as a C++ course assignment.
Slitherlink puzzle generator with provably unique solutions (uniqueness proven by a bounded search, minimal to a fixed point) and human-technique-based difficulty tiers - generator-solver duality, exhaustive rule soundness on 1275 loops
A constraint programming implementation of a SlitherLink solver and generator, with a Dropwizard web app for gameplay
To associate your repository with the slitherlink topic, visit your repo's landing page and select "manage topics."