- Home
- Computer
- Programming
- clp(Q,R)
Computer · Programming
clp(Q,R)
Listed in the directory · updated 20 Jul 2022
About clp(Q,R)
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.