numbrix

There are 5 repositories under numbrix topic.

denis-berthier/CSP-Rules-V2.1
A general pattern-based solver of finite Constraint Satisfaction problems
Language:CLIPS17 2 02
denis-berthier/CSP-Rules-Examples
Examples and large scale studies with the CSP-Rules-V2.1 project
Language:CLIPS3 1 00
Groszczu/numbrix
Numbrix puzzle SAT encoding
Language:Python2 1 00
angusfung/numbrix-hidato-AI
AI for the game Numbrix and Hidato by means of modelling it as a constraint-satisfication problem using BT, FC, GAC with MRV heuristic.
Language:Python1 1 02
dmackinnon1/kixote
knight's tour puzzle generator
Language:JavaScript1 3 11