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.
Lawgic 羅輯 | Esports-grade logic puzzle platform & psychometric engine powered by deterministic procedural generation, CSP solvers, and zero-trust verification.
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.
A constraint programming implementation of a SlitherLink solver and generator, with a Dropwizard web app for gameplay
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
To associate your repository with the slitherlink topic, visit your repo's landing page and select "manage topics."