10.35 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