Gecode/J Modules
Here is a list of all modules:- Channel constraints
- Simple relation constraints over Boolean variables
- Set operation/relation constraints
- Functionality by programming task
- Interfacing to Gecode/J
- Setting up scripts
- Using finite domain integers
- Domain constraints
- Simple relation constraints
- Element constraints
- Distinct constraints
- Scheduling constraints
- Extensional constraints
- Cardinality constraints
- Arithmetic constraints
- Linear constraints over integers
- Linear constraints over Boolean variables
- Branching
- Integer variables
- Search engines
- Using finite integer sets
- Direct modelling
- Programming search engines
- Programming actors
- Programming variables
- Interfacing to Gecode/J
- Common functionality
- Example scripts (models)
