cmake isn't a default build system for Gecode. Test targets are missing there, and at least one problem produces a wrong result when Gecode is built with cmake (zebra_inverse.mzn).
cmake isn't a default build system for Gecode. Test targets are missing there, and at least one problem produces a wrong result when Gecode is built with cmake (zebra_inverse.mzn).