[gecode-users] (adaptative) Incremental search

[Luis Quesada]

Dear all,

We want to implement an (adaptative) incremental search: we want to find 
one solution, then depending on the solution found and on the 
interactions with the user re-define the order constraint on the fly, 
and then ask the search engine to find the next one and so on.

We think we can do this by using 
http://www.gecode.org/gecode-doc-latest/classGecode_1_1Restart.html. 
However, we don't know how to re-define the order constraint on the fly...

Another thing that we need to do is to define our own labeling strategy. 
We think the idea is to use:

http://www.gecode.org/gecode-doc-latest/classGecode_1_1ViewValBranching.html

However, we wonder whether you could provide us with a simple example 
that lets us get started.

Thanks in advance for your help,

Luis