# Modules

Here is a list of all modules:- Functionality by programming task
- Programming models
- Setting up scripts
- Using integer variables and constraints
- 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

- Search engines
- Gist: the Gecode Interactive Search Tool
- Using integer set variables and constraints
- Set variables
- Float 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
- Channel constraints
- Value precedence constraints over set variables
- Element constraints
- Synchronized execution
- Branching

- Using float variables and constraints
- Direct modeling support
- Linear expressions and relations
- Linear float expressions and relations
- Set expressions and relations
- Boolean expressions
- Posting of expressions and relations
- Arithmetic functions
- Transcendental functions
- Trigonometric functions
- Channel functions
- Aliases for integer constraints
- Aliases for set constraints
- Support for cost-based optimization

- Script commandline driver
- Propagator and brancher groups
- Tracing constraint propagation
- Generic branching support

- Programming search engines
- Programming actors
- Programming integer actors
- Programming set actors
- Programming float actors
- Reified propagator patterns
- Generic brancher based on view and value selection
- Generic merit for branchers based on view and value selection
- Generic value commit for brancher based on view and value selection
- Generic value selection and value commit for brancher based on view and value selection
- Generic value selection for brancher based on view and value selection
- Generic view selection for brancher based on view and value selection

- Generic brancher based on view selection
- Status of constraint propagation and branching commit
- Propagator patterns

- Programming variables
- Testing
- Testing domain floats
- 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
- Set channeling constraints
- 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

- Programming models
- Common functionality
- Other available functionality
- Generic propagators
- Integer propagators
- Set propagators
- Float propagators
- Merit-based float view selection for branchers
- Float value selection for brancher
- Float value commit classes
- Merit-based integer view selection for branchers
- Integer value selection for brancher
- Integer value commit classes
- Merit-based set view selection for branchers
- Set value selection for brancher
- Set value commit classes

- Example scripts (models)