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