Next: lib-clpqr, Previous: lib-clpb, Up: The Prolog Library [Contents][Index]
library(clpfd)| • CLPFD Intro | Introduction | |
| • CLPFD Caveats | Caveats | |
| • CLPFD Interface | Solver Interface | |
| • Available Constraints | Available Constraints | |
| • Enumeration Predicates | Enumeration Predicates | |
| • Statistics Predicates | Statistics Predicates | |
| • Answer Constraints | Answer Constraints | |
| • CLPFD Debugging | Debugging | |
| • Defining Global Constraints | Defining Global Constraints | |
| • Defining Primitive Constraints | Defining Primitive Constraints | |
| • CLPFD Coexisting | Coexisting with Attributes and Blocked Goals | |
| • CLPFD Example Programs | Example Programs | |
| • Syntax Summary | Syntax Summary |