clp

Prolog files

call_stack.pl  -- Call stack constraint solverShow source
clpq.pl  -- Extension of the constraint solver CLP(Q)Show source
disequality.pl  -- Constraint solver for disequalitiesShow source