Hi Guido, What is the default search strategy of gecode's fz interpreter?
Its default search works really well on one group of variables, but less on the other. I want to change it for the other, but whatever I do the search is a lot slower (because of worse choices on the variables I do not wish to change the order on)...
I couldn't find it on http://www.gecode.org/flatzinc.html or MPG. Thanks, Tias Disclaimer: http://www.kuleuven.be/cwis/email_disclaimer.htm _______________________________________________ Gecode users mailing list users@gecode.org https://www.gecode.org/mailman/listinfo/gecode-users
