Hi Guido
Thank you very much for the reply. I do have some follow-up questions:
>> 3) I want to make a branching that follows the standard "fail-first"
>> heuristic, that is, choose the value with the smallest domain possible
>> and then use a special value heuristic. As I understand I need to
>>
Morten Boysen wrote:
> I am trying to add new propagators to the FlatZincGecode space, and I
> have some question regarding this:
>
> 1) What is the defualt variable order for the FlatZincGecode space?
First branch over the IntVars with VAR_NONE, VAL_MIN, then over the
BoolVars with NONE, VAL_MI
Hi,
I am trying to add new propagators to the FlatZincGecode space, and I
have some question regarding this:
1) What is the defualt variable order for the FlatZincGecode space?
2) If I want to add my own branching heuristic, I believe I need to
remove the branchings posted to the FlatZincGecod
