Chapter 7 GFD: Interface to Gecode Finite Domain Solver

• Introduction
• Problem Modelling
  • Usage
  • Integer domain variables
  • Constraints
• Search Support
  • Performing search completely inside Gecode
  • Search in ECLⁱPS^e using GFD primitives
  • GFD specific search support
• User defined constraints and solver co-operation
  • The gfd attribute
  • Modifying variable domains
  • Variable query predicates
• Low-level control of Gecode computation
  • Recomputation and Cloning
• Main differences between GFD and IC