Heuristic Modification

[MaxOstrowski]

How can we use heuristic information to have a similar search as when constraints are translated.

[rkaminsk]

There is also one other thing that came to my mind thinking about this. Right now we split domains on total fixpoints. I think there was not a single instance in the benchmarks we were evaluating on where a domain was split. Instead, propagation of constraint always lead to fully assigned integer variables. So, maybe we should also add an option to split domains on partial fixpoints in the hope that we get better cuts.