Modules
Here is a list of all modules:- Functionality by programming task
- Programming models
- Setting up scripts
- Using finite domain integers
- Integer variables
- Argument arrays
- Variable arrays
- Domain constraints
- Simple relation constraints over integer variables
- Simple relation constraints over Boolean variables
- Value precedence constraints over integer variables
- Membership constraints
- Element constraints
- Distinct constraints
- Channel constraints
- Sorted constraints
- Counting constraints
- Number of values constraints
- Sequence constraints
- Extensional constraints
- Arithmetic constraints
- Linear constraints over integer variables
- Linear constraints over Boolean variables
- Bin packing constraints
- Geometrical packing constraints
- Scheduling constraints
- Graph constraints
- Synchronized execution
- Unsharing variables
- Branching
- Assigning
- Search engines
- Gist: the Gecode Interactive Search Tool
- Using finite integer sets
- Set variables
- Range and value iterators for set variables
- Argument arrays
- Variable arrays
- Domain constraints
- Relation constraints
- Set operation/relation constraints
- Convexity constraints
- Sequence constraints
- Distinctness constraints
- Connection constraints to integer variables
- Value precedence constraints over set variables
- Element constraints
- Synchronized execution
- Branching
- Assigning
- Direct modeling support
- Script commandline driver
- Generic branching support
- Programming search engines
- Programming actors
- Programming variables
- Testing
- Testing finite domain integers
- Arithmetic constraints
- Basic setup
- Bin-packing constraints
- Boolean constraints
- Channel constraints
- Circuit constraints
- Count constraints
- Cumulative scheduling constraints
- Cumnulatives scheduling constraint
- Distinct constraints
- Domain constraints
- Element constraints
- Synchronized execution
- Extensional (relation) constraints
- Counting constraints (global cardinality)
- Linear constraints
- Membership constraints
- Minimal modelling constraints (arithmetic)
- Minimal modelling constraints (Boolean constraints)
- Minimal modelling constraints (counting)
- Minimal modeling constraints (linear constraints)
- Minimal modelling constraints (relation)
- No-overlap constraints
- Number of values constraints
- Relation constraints
- Sequence constraints
- Sorted constraints
- Unary scheduling constraints
- Unsharing variables in arrays
- General test support
- Testing finite sets
- Convexity constraints
- Distinctness constraints
- Domain constraints
- Element constraints
- Synchronized execution
- Combined integer/set constraints
- Minimal modelling constraints (Set constraints)
- Relation/operation constraints with constants
- Relation/operation constraints
- Relation constraints
- Sequence constraints
- General set test support
- General test support
- Testing finite domain integers
- Programming models
- Common functionality
- Other available functionality
- Example scripts (models)