Contents

Use this overview to scan the whole manual or jump directly to a chapter. If you are new to Gecode, begin with Modeling; the later parts explain how Gecode’s constraints, branchings, variables, and search engines are built.

M — Modeling

• Getting started

• Getting comfortable

• Integer and Boolean variables and constraints

• Set variables and constraints

• Float variables and constraints

• Modeling convenience: MiniModel

• Branching

• Search

• Gist

• Script commandline driver

• Groups and tracing

C — Case studies

• Golomb rulers

• Magic sequence

• Photo alignment

• Locating warehouses

• Nonogram

• Social golfers

• Knight’s tour

• Bin packing

• Kakuro

• Crossword puzzle

P — Programming propagators

• Getting started

• Avoiding execution

• Reification and rewriting

• Domain propagation

• Advisors

• Views

• Propagators for set constraints

• Propagators for float constraints

• Managing memory

B — Programming branchers

• Getting started

• Advanced topics

V — Programming variables

• Getting started

S — Programming search engines

• Getting started

• Recomputation

• An example engine