Constraint Logic Programming over Rationals or Reals

• CLPQR Introduction: Introduction
• CLPQR Interface: Solver Interface
• Linearity: Linearity and Nonlinear Residues
• Numerical Precision: Numerical Precision and Rationals
• Projection: Projection and Redundancy Elimination
• Why Disequations: Why Disequations
• Syntactic Sugar: Syntactic Sugar
• MIP: A Mixed Integer Linear Optimization Example
• Implementation Architecture: Implementation Architecture