Starting to implement OptPondSolver using Gecode requiered
implementations.