[gecode-users] detecting Gist

[Malcolm Ryan]

Is there any was to detect whether or not gist has been enabled?

Malcolm

_______________________________________________
Gecode users mailing list
us...@gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users