[gecode-users] Backjumping (aka Intelligent Backtracking)

[Luca Di Gaspero]

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