[gecode-users] embedded gecode

[Ruben Zilibowitz]

> We'll probably add a configure option --small-codesize or similar to enable -Os or -Oz and use less aggressive inlining.

On that point. I found that turning off inlining actually has a big effect on speed. More than I expected. My code ran about a third slower without inlining. I'm thinking that the larger file size might be better, after all.

Ruben