GitHub topics: constraint-handling-rules
JetBrains/mps-coderules
Type checking and logical inference for JetBrains MPS
Language: JetBrains MPS - Size: 99.6 MB - Last synced at: 11 days ago - Pushed at: about 2 months ago - Stars: 33 - Forks: 5
EagleoutIce/TeXCHR
A fun implementation of FreeCHR in plain TeX
Language: TeX - Size: 85.9 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 0
chansey97/chr_book
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
Language: Prolog - Size: 105 KB - Last synced at: over 1 year ago - Pushed at: about 3 years ago - Stars: 4 - Forks: 0
oss92/pronet_chr
Prioritization and placement of roadside units in Intelligent transportation systems.
Language: Prolog - Size: 1.33 MB - Last synced at: almost 2 years ago - Pushed at: almost 11 years ago - Stars: 1 - Forks: 0
fisakov/fitch-system
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
Size: 1.74 MB - Last synced at: 10 months ago - Pushed at: almost 7 years ago - Stars: 4 - Forks: 1
fnogatz/CHR.bib
BibTeX collection of publications related to Constraint Handling Rules
Language: TeX - Size: 382 KB - Last synced at: 2 months ago - Pushed at: about 3 years ago - Stars: 0 - Forks: 0
joanrieu/js-chr-solver
Constraint Handling Rules (CHR) solver
Language: JavaScript - Size: 13.7 KB - Last synced at: about 2 years ago - Pushed at: over 5 years ago - Stars: 0 - Forks: 0
arminnh/ma1-constraint-logic-programming
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
Language: Prolog - Size: 4.11 MB - Last synced at: about 2 years ago - Pushed at: about 7 years ago - Stars: 1 - Forks: 3
fisakov/conreactor
Constraints Reactor -- implementation of CHR semantics with support for terms and unification
Size: 4.12 MB - Last synced at: almost 2 years ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0
fisakov/lambdacalc
Demo of using the typechecking with constraint rules
Size: 202 KB - Last synced at: 10 months ago - Pushed at: almost 7 years ago - Stars: 0 - Forks: 0