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 |