Type checking and logical inference for JetBrains MPS
-
Updated
Oct 4, 2024 - JetBrains MPS
Type checking and logical inference for JetBrains MPS
Valuable code and exercises about the book "Constraint Handling Rules (2009)" .
Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules
A fun implementation of FreeCHR in plain TeX
Prioritization and placement of roadside units in Intelligent transportation systems.
Puzzle solving with ECLiPse CLP and Constraint Handling Rules
Demo of using the typechecking with constraint rules
A TicTacToe game written in SWI-Prolog using Constraint Handling Rules.
Constraint Handling Rules (CHR) solver
BibTeX collection of publications related to Constraint Handling Rules
Constraints Reactor -- implementation of CHR semantics with support for terms and unification
Add a description, image, and links to the constraint-handling-rules topic page so that developers can more easily learn about it.
To associate your repository with the constraint-handling-rules topic, visit your repo's landing page and select "manage topics."