clp(Q,R)
ai.univie.ac.atImplementation 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.
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.