Gecode/R 0.3.0 has been released.

The new release fleshes out the existing constraints with options such as reification and adds boolean variables along with their basic constraints. It also adds some different ways to iterate through solutions and some syntactic sugar for combining constraints.