- Problem Mapping
- Think about how to express problem as numbers with constraints
- Write code to map into domain and map from domain
- Rely on the constraint solver
- Avoid using
is/2entirely - Implictly using
=/2through predicate calls - Use
#=instead ofis/2and=/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