Hi everyone, we changed the layout of our web pages to something that hopefully works better on more browsers and screen resolutions. Additionally, we will from now on post news about Gecode more regularly, on the front page as well as our new dedicated news page (http://www.gecode.org/news.html ). You can even subscribe to the news feed with RSS :-)
If you have anything that you think should be put in our news section, please let us know! Cheers, Guido _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users