Simple example using Gecode