Dear all,
We are in the process of migrating gecode.org to a new server. Please expect some hick-ups in the near future. Right now, we are migrating the svn, so svn access will not be possible for some time. We will let you know when svn migration is done and also about other quirks to come. Sorry for any inconvenience. Christian
_______________________________________________ Gecode users mailing list [email protected] https://www.gecode.org/mailman/listinfo/gecode-users
