This project is retired. All contents has been merged into this project.
Constraints Reactor -- implementation of CHR semantics with support for terms and unification