General Overview

• Extension based on Twelf 1.2 code

• Handles rationals (infinite precision)

• Solves equalities and inequalities over Q using CLP techniques

• Provides general structures to implement Constraint Solvers as loadable modules

Previous slide

Next slide

Back to first slide

View graphic version