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
_______________________________________________
Gecode users mailing list
[email protected]
https://www.gecode.org/mailman/listinfo/gecode-users
