Chapter 7
GFD: Interface to Gecode Finite Domain Solver
Introduction
Problem Modelling and Solving
Usage
Integer domain variables
Constraints
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