Hi everyone. There's one known issue in the just-released Gecode/FlatZinc 1.4 - it currently doesn't work with Gist although it lists gist as one of the mode options. However, there will be another release of Gecode/ FlatZinc in two to three weeks (adapting to upcoming FlatZinc language changes), which will include a fix for this. Cheers, Guido