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 |