Notes on CLPFD

notes.md

1. Problem Mapping

• Think about how to express problem as numbers with constraints
• Write code to map into domain and map from domain

2. Rely on the constraint solver

• Avoid using is/2 entirely
• Implictly using =/2 through predicate calls
• Use #= instead of is/2 and =/2
• Verify that solver was used by printing variables before calling label - if the variables all have concrete values, then you are not relying on the solver