denis-berthier/CSP-Rules-V2.1
A general pattern-based solver of finite Constraint Satisfaction problems
This software helps solve complex logic puzzles and constraint satisfaction problems by systematically finding values for variables that satisfy all given conditions. You provide the problem definition with its variables, possible values, and rules, and it outputs the solution. It's designed for enthusiasts of logic puzzles like Sudoku, Futoshiki, and Kakuro, as well as those working with similar constraint-based challenges.
Use this if you need an automated way to solve a variety of finite constraint satisfaction problems and logic puzzles that can be broken down into binary constraints.
Not ideal if your problem involves continuous variables, fuzzy logic, or requires a purely human-like, non-systematic approach to problem-solving.
Stars
20
Forks
4
Language
CLIPS
License
GPL-3.0
Category
Last pushed
Nov 27, 2025
Commits (30d)
0
Get this data via API
curl "https://pt-edge.onrender.com/api/v1/quality/ai-coding/denis-berthier/CSP-Rules-V2.1"
Open to everyone — 100 requests/day, no key needed. Get a free key for 1,000/day.