10.10 Constraint Logic Programming over Finite Domains—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