Is there any was to detect whether or not gist has been enabled? Malcolm
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
- [gecode-users] detecting Gist Malcolm Ryan
- Re: [gecode-users] detecting Gist Malcolm Ryan
- Re: [gecode-users] detecting Gist Guido Tack
