Curry Package chr-curry

This library an implementation of Constraints Handling Rules in Curry.

Detailed package documentation (available shortly after this version has been published)

---