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) uhc-util: moved into chr logict-state: moved into chr Executables chr-term: installed as part of chr-lang. Run on chr-lang/term/queens.chr