/chr

Constraint Handling Rules

Primary LanguageHaskellBSD 3-Clause "New" or "Revised" LicenseBSD-3-Clause

chr: Constraint Handling Rules library

Libraries

  • chr-data: required data structures
  • chr-pretty: pretty printing library (simplified version of the one in uulib) used for printing out trace/debug/output/info
  • chr-core: core of chr library
  • chr-parse: parse library (around uulib parsing)
  • chr-lang: 2 layer front end syntax (general terms, specialized terms w.r.t. an example interpretation)

Executables

  • chr-term: installed as part of chr-lang. Run on chr-lang/term/queens.chr