programming: Finite Domain integer programming

• e.g. finding integer solutions to simultaneous equations
• Prolog has a "FD" library that allows you to express the constraints directly, then can enumerate the solutions
  • Can specify other constraints like "minimise"/"maximise" some other expression and that will determine the search order of the valid space