Constraint Logic Programming over Finite Domains

• CLPFD Intro: Introduction
• CLPFD Interface: Solver Interface
• Available Constraints: Available Constraints
• Enumeration Predicates: Enumeration Predicates
• Statistics Predicates: Statistics Predicates
• Answer Constraints: Answer Constraints
• The Constraint System: The Constraint System
• Defining Global Constraints: Defining Global Constraints
• Defining Primitive Constraints: Defining Primitive Constraints
• Example Programs: Example Programs
• Syntax Summary: Syntax Summary