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.

- Windows (tested with the one-click Ruby installer)
- Linux
- OS X

The following things are supported by Gecode/R.

- Boolean variables with the following constraints
- Simple relation except the ones involving arrays of variables
- Linear

- 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
- Distinct
- Domain
- Connection constraints to finite domain variables
- Relation
- Element except for union and element with arrays of constant sets
- Set operation

- Branching selection
- Branch and bound, and depth first search
- Reification, propagation strength and propagation kind

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
- The exceptions noted in the list of supported constraints
- Scheduling
- Graph

- Unsupported set constraints
- Limited discrepancy search
- Custom propagators and branching strategies
- Reflection