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
i
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