Dear Gecode users, our servers are scheduled for maintenance today, approximately between 16:00 and 21:00 CEST. The Gecode web pages, mailing lists, and svn will not be available.
Cheers,
Guido
_______________________________________________
Gecode users mailing list
[EMAIL PROTECTED]
https://www.gecode.org/mailman/listinfo/gecode-users
