Features
Gecode/R provides access to many, but not all, of the features
in Gecode 2.2.0.
Gecode/R is only a modelling interface, it does not provide support for
e.g. creating new propagators.
Ruby 1.8.6 on
Supported Gecode Features
The following things are supported by Gecode/R.
- Boolean variables with the following constraints
- Finite domain integer variables with the following constraints
- Arithmetic except for div, mod and divmod
- Cardinality except for the ones involving more than one variable array
- Channel
- Distinct
- Domain except for the ones that constrain the domain of an array of integer variables
- Element except for the ones involving an array of boolean variables
- Linear
- Simple relation except for the ones involving an array of integer variables
- Sorted
- Extensional but the DFA can not be specified directly, only via an interface to REG
- Finite integer sets with the following constraints
- Branching selection
- Branch and bound, and depth first search
- Reification, propagation strength and propagation kind
Features Not Supported
The following are some notable features that are included in Gecode but not
in Gecode/R (but might be in the future).
- Finite integer sets with complete domain representation and all their constraints
- Unsupported integer constraints
- Unsupported set constraints
- Limited discrepancy search
- Custom propagators and branching strategies
- Reflection