1. 4

  2. 2

    The SVN repository seems to be here.

    1. 1

      “written by Pieter Wuille”

      Yep, that’s probably it! Good find.

    2. 1

      From paper:

      “Constraint Handling Rules (CHR) [4] is a high-level, declarative language, originally designed for the implementation of user-defined, application-tailored, constraint solvers in a given host language. Nowadays CHR is increasingly being used as a general programming language for a wide range of applications — multi-agent systems, type systems and natural language processing, to name a few — and for the study of algorithms.”

      “This paper presents CCHR, a CHR system embedded in the C programming language, that compiles to low-level C code… CCHR program performance comes close to matching that of native C, and easily outperforms other CHR implementations.”