Add gecode options.