Internal Gecode solver vs solver plugin

[StefanBruens]

Gecode can be used as a compile time dependency as well as a solver plugin via flatzinc.

What are the implications of using one or the other, or both? Thanks.

[cyderize]

The compile-time dependency is used to enable some features in the compiler such as the -O3, -O4 and -O5 optimisation levels, regular expression parsing, and solution checking with .mzc.mzn files. This dependency used internally by the compiler and is not designed for users to directly use with --solver (that is what the FlatZinc solver is for).