[gecode-users] next() in flatzinc

Hi, I'm working with flatzinc in gecode 3.2.0. Is there support planned for incremental search in flatzinc? For instance by making an incremental version of: void FlatZincSpace::run(std::ostream& out, const Printer& p, const FlatZincOptions& opt, Support::Timer& t_total) something like th

Re: [gecode-users] next() in flatzinc

Hi Fred. There are currently no plans to add that functionality. Actually, the run method may be in the wrong class, as FlatZincSpace is really just meant to be a space that you can initialize from FlatZinc. In order to perform incremental search, just use a DFS search engine as you wou

Re: [gecode-users] next() in flatzinc

Yes, that makes more sense, indeed. Thanks Guido. Fred. Op 14-okt-09, om 11:30 heeft Guido Tack het volgende geschreven: Hi Fred. There are currently no plans to add that functionality. Actually, the run method may be in the wrong class, as FlatZincSpace is really just meant to be a spac

[gecode-users] Layout change on Gecode web pages

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/new