denis-berthier / CSP-Rules-V2.1 Star 21 Code Issues Pull requests Discussions A general pattern-based solver of finite Constraint Satisfaction problemsconstraint-satisfaction-problemartificial-intelligencesudoku-solversudokukakuro-solverclipspuzzle-solvernumbrixgraph-colouringfutoshikilatin-squaresslitherlinkcsp-rulesclipsrules Updated Jun 20, 2026CLIPS
denis-berthier / CSP-Rules-Examples Star 3 Code Issues Pull requests Examples and large scale studies with the CSP-Rules-V2.1 projectmapssudokukakuronumbrixhidatofutoshikislitherlinklatinsquares Updated Oct 31, 2025CLIPS
Groszczu / numbrix Star 2 Code Issues Pull requests Numbrix puzzle SAT encodingnumbrixpysatsat-encodings Updated Jun 26, 2021Python
dmackinnon1 / kixote Star 1 Code Issues Pull requests knight's tour puzzle generatorknight-tourknight-tour-puzzlesnumbrixhidatoking-tour Updated Apr 12, 2026JavaScript
angusfung / numbrix-hidato-AI Star 1 Code Issues Pull requests AI for the game Numbrix and Hidato by means of modelling it as a constraint-satisfication problem using BT, FC, GAC with MRV heuristic.cspaiconstraint-satisfaction-problemartificial-intelligencemrv-heuristicnumbrixhidato Updated May 6, 2017Python
Omar-Sabouni / numbrix-visualizer Star 0 Code Issues Pull requests Browser-based Numbrix editor and solver with constraint-propagation and search replays.typescriptbacktrackingconstraint-programmingpuzzle-solvernumbrix Updated Aug 30, 2026TypeScript