Hi, Gecode can solve models that are written in Flatzinc with the tools/flatzinc/fzn-gecode. Since Gecode allows models to be specified in the C++ and compiled (as shown in the examples ), Is there any way by which we can dump the C++ code equivalent for the flatzinc model ? Thanks, ~az