Tools

Programming Tools for CHR Development

• CHR IDE Eclipse Plugin for SWI-Prolog
• CHR Inverter

  Online Tool that inverts CHR rules for backwards execution

  Accompanying Paper

• CHR.js Playground

  Online JIT Compiler and Tracer for CHR(JavaScript)

  Accompanying M.Sc. Thesis

• Rule Transformation Tool

  Accompanying Paper, Book Slides

• CHRAnimation

  An Animation Tool for Constraint Handling Rules

  Accompanying Paper

Tools using CHR

• xsd2json

  Translate XML Schema into JSON Schema

  Accompanying Paper, Accompanying B.Sc. Thesis

• SMCHR

  Satisfiability Modulo Constraint Handling Rules