About options: yes we had a chat and if my memory serves me right we had an idea what to do but I think (I might be wrong, though) that Tomaso was meant to get back to me...
Cheers Christian -- Christian Schulte, www.ict.kth.se/~cschulte/ > -----Original Message----- > From: users-boun...@gecode.org [mailto:users-boun...@gecode.org] On > Behalf Of Luca Di Gaspero > Sent: Wednesday, March 05, 2014 5:47 PM > To: <users@gecode.org> > Subject: Re: [gecode-users] Backjumping (aka Intelligent Backtracking) > > Hi Christian, > > > No, really anything useful to say here. It should be possible and due > > to the documentation it should be easier to do than before but it > > would mean that you really program your own search engine. > > Given the elegant design of Search Engines is not a problem ;-) > > > What might help you, though, is the support we added in 4.2.1 for > > nogood literals. > > Right, maybe I can take inspiration from the RBS. By the way, what's the current > situation with *direct* option passing to search engines? (do you remember the > talks you had with Tommaso Urli at CP?) > > Thanks and all the best, > > Luca > _______________________________________________ > Gecode users mailing list > users@gecode.org > https://www.gecode.org/mailman/listinfo/gecode-users _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
