chr-lang (hackage): Constraint Handling Rules
Keywords: bsd3|development|library|program