constraint-handling-rules

There are 0 repository under constraint-handling-rules topic.

• JetBrains / mps-coderules

  Type checking and logical inference for JetBrains MPS

  type-checkingconstraint-handling-rulesjetbrains-mpscontrol-flowconstraint-rulescode-analysis
  Language:JetBrains MPS 31

• chansey97 / chr_book

  Valuable code and exercises about the book "Constraint Handling Rules (2009)" .

  constraint-handling-rulesprologconstraint-logic-programmingconstraint-programmingconstraintslogic-programming
  Language:Prolog 4

• fisakov / fitch-system

  Proof validation in Propositional Logic and its extensions with Jetbrains MPS and constraint rules

  logicproofvalidationconstraint-handling-rulesjetbrains-mpstype-checking
  4

• EagleoutIce / TeXCHR

  A fun implementation of FreeCHR in plain TeX

  chrconstraint-handling-ruleslatexplain-textex
  Language:TeX 2

• oss92 / pronet_chr

  Prioritization and placement of roadside units in Intelligent transportation systems.

  constraint-programmingconstraint-handling-rulesprologprioritizationintelligent-transportation-systems
  Language:Prolog 2

• arminnh / ma1-constraint-logic-programming

  Puzzle solving with ECLiPse CLP and Constraint Handling Rules

  university-projectkuleuvenconstraint-programmingconstraint-propagationclpfdconstraint-handling-rules
  Language:Prolog 1

• adriand2511 / CHR-TicTacToe

  A TicTacToe game written in SWI-Prolog using Constraint Handling Rules.

  swi-prologprologconstraint-handling-rulestic-tac-toe
  Language:Prolog 0

• fisakov / conreactor

  Constraints Reactor -- implementation of CHR semantics with support for terms and unification

  chrtermunificationlogic-programmingconstraint-handling-rules
  0

• fisakov / lambdacalc

  Demo of using the typechecking with constraint rules

  constraint-handling-rulesjetbrains-mpslambda-calculustype-checking
  0

• fnogatz / CHR.bib

  BibTeX collection of publications related to Constraint Handling Rules

  bibliographybibtexconstraint-handling-rulesprolog
  Language:TeX

• joanrieu / js-chr-solver

  Constraint Handling Rules (CHR) solver

  chrconstraint-handling-ruleslogic-programmingsolver
  Language:JavaScript