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
- Element constraints
- Distinct constraints
- Channel constraints
- Graph constraints
- Scheduling constraints
- Sorted constraints
- Cardinality constraints
- Extensional constraints
- Arithmetic constraints
- Linear constraints over integer variables
- Linear constraints over Boolean variables
- Unsharing variables
- Branching
- Assigning
- Search engines
- Using finite integer sets
- Set variables
- Projector constraints
- 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 finite domain variables
- Element constraints
- Branching
- Using finite integer sets with complete domain representation
- Direct modelling
- Programming search engines
- Programming actors
- Programming variables
- Testing
- Testing finite sets with complete domain representation
- Testing finite domain integers
- Arithmetic constraints
- Basic setup
- Boolean constraints
- Channel constraints
- Circuit constraints
- Count constraints
- Distinct constraints
- Domain constraints
- Element constraints
- Extensional (relation) constraints
- Counting constraints (global cardinality)
- Linear constraints
- Minimal modelling constraints (arithmetic)
- Minimal modelling constraints (Boolean constraints)
- Minimal modelling constraints (counting)
- Minimal modelling constraints (linear constraints)
- Minimal modelling constraints (relation)
- Relation constraints
- Scheduling constraints
- Sorted constraints
- Unsharing variables in arrays
- General test support
- Testing finite sets
- General test support
- Reflection and serialization
- Programming models
- Common functionality
- Other available functionality
- Example scripts (models)