denis-berthier / CSP-Rules-V2.1 Star 15 Code Issues Pull requests Discussions A general pattern-based solver of finite Constraint Satisfaction problems constraint-satisfaction-problem artificial-intelligence sudoku-solver sudoku kakuro-solver clips puzzle-solver numbrix graph-colouring futoshiki latin-squares slitherlink csp-rules clipsrules Updated Jul 1, 2024 CLIPS
denis-berthier / CSP-Rules-Examples Star 3 Code Issues Pull requests Examples and large scale studies with the CSP-Rules-V2.1 project maps sudoku kakuro numbrix hidato futoshiki slitherlink latinsquares Updated Jan 14, 2024 CLIPS
Groszczu / numbrix Star 2 Code Issues Pull requests Numbrix puzzle SAT encoding numbrix pysat sat-encodings Updated Jun 26, 2021 Python
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. csp ai constraint-satisfaction-problem artificial-intelligence mrv-heuristic numbrix hidato Updated May 6, 2017 Python
dmackinnon1 / kixote Star 0 Code Issues Pull requests knight's tour puzzle generator knight-tour knight-tour-puzzles numbrix hidato king-tour Updated Jun 22, 2019 JavaScript