Home >
domains >
www.ofai.at
clp(Q,R)
Implementation of general Constraint Logic Programming scheme introduced by Jaffar, Michaylov 1987. As full as other CLP(R)s: solves linear equations over rational or real valued variables, and covers lazy treatment of nonlinear equations.
|
Keyword |
Results for this URL |
Total searches |