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