Next:
lib-codesio
, Previous:
lib-clpfd
, Up:
The Prolog Library
10.11 Constraint Logic Programming over Rationals or Reals—
library([clpq,clpr])
CLPQR Introduction
: Introduction
CLPQR Interface
: Solver Interface
CLPQR Linearity
: Linearity and Nonlinear Residues
CLPQR Numerical Precision
: Numerical Precision and Rationals
CLPQR Projection
: Projection and Redundancy Elimination
CLPQR Why Disequations
: Why Disequations
CLPQR Monash Examples
: Monash Examples
CLPQR MIP
: A Mixed Integer Linear Optimization Example
CLPQR Implementation Architecture
: Implementation Architecture
User's Manual
Table of Contents
Send feedback on this subject.