CS Prototype: An Equality Constraint Solver
Prototype implements an equality constraint solving method.
has been implemented in SICStus Prolog 3.X.
uses a quasi-solved form called "answers" that allows a more
efficient performance and the classical technique of quantifier elimination.
satisfiability test for "answers" is also available in CHR code.
If you have any question or find any bug, please contact: firstname.lastname@example.org
This work has been partially supported by the Spanish Project TIC
Last Modified: April 2004