Constraints: High-level Problem Modelling

• Think of constraints as (dis)equations over arbitrary items
• Use constraint system primitives to encode the problem conditions
• But:
  • Lack of modularity
  • Creating constraints dynamically not easy -- must be statically defined
  • Probably constraint system not powerful enough to reflect the whole problem
  • Or solutions not given in the desired format