[gecode-users] Backjumping (aka Intelligent Backtracking)

[Christian Schulte]

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-bounces at gecode.org [mailto:users-bounces at gecode.org] On
> Behalf Of Luca Di Gaspero
> Sent: Wednesday, March 05, 2014 5:47 PM
> To: <users at 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 at gecode.org
> https://www.gecode.org/mailman/listinfo/gecode-users