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