Skip to content
Modeling & Programming with Gecode
☰
Contents
Browse the manual
Close
Search the manual
Open manual search
Introduction
Contents
M
Modeling
Overview
Getting started
Getting comfortable
Integer and Boolean constraints
Set constraints
Floating-point constraints
MiniModel
Branching
Search
Gist
Command-line driver
Groups
C
Case studies
Overview
Golomb rulers
Magic sequence
Photo arrangement
Warehouses
Nonograms
Golf tournament
Knights
Bin packing
Kakuro
Crossword
P
Propagators
Overview
Getting started
What to avoid
Reification and rewriting
Domain constraints
Advisors
Views
Set propagators
Float propagators
Memory management
B
Branchers
Overview
Getting started
Advanced branchers
V
Variables
Overview
Programming variables
S
Search engines
Overview
Getting started
Recomputation
Engine implementation
Index
