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 |