Future Plans
Finish and test the current system!
Implement other CS modules?
Integers
Booleans
Constraint Handling Rules (CHRs)
For more information:
Th. Fr|hwirth
Theory and Practice of Constraint Handling Rules
Journal of Logic Programming, Vol. 37(1-3), pp. 95-138, October 1998
Previous slide
Back to first slide
View graphic version