10.35 Constraint Logic Programming over Finite Domains—library(clpfd)

• CLPFD Intro: Introduction
• CLPFD Interface: Solver Interface
• Available Constraints: Available Constraints
• Enumeration Predicates: Enumeration Predicates
• Statistics Predicates: Statistics Predicates
• Answer Constraints: Answer Constraints
• CLPFD Debugging: Debugging
• The Constraint System: The Constraint System
• 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