Next: lib-codesio, Previous: lib-clpfd, Up: The Prolog Library [Contents][Index]
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 |