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 FlatZincGecode space or else my branching will not have any effect. Is this true? 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 implement a branching for the integer variables in the FlatZincGecode space and a branching for the boolean variables. If I understand it correctly, this means the search will process all integer variables first and then the boolean variables or vice verse, depending on the order the branching were posted to the space (the branching posted first is tested first). Is this correct? Thanks, Morten Boysen _______________________________________________ Gecode users mailing list us...@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
