library(clpfd)| • CLPFD Intro: | Introduction | |
| • CLPFD Glossary: | Glossary | |
| • CLPFD Desiderata: | Desiderata | |
| • CLPFD Annotations: | Constraint and Predicate Annotations | |
| • 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 Indexical Constraints: | Defining Indexical Constraints | |
| • CLPFD Coexisting: | Coexisting with Attributes and Blocked Goals | |
| • CLPFD Example Programs: | Example Programs | |
| • Syntax Summary: | Syntax Summary |