Question 1: Is ortool's CP-SAT sensitive to the order in which a model is constructed?
In other words, does it matter which variables and constraints come first?
I am seeing a high performance variance for some models which, unless I messed up, should be "the same" (isomorphic), and wonder if this should all be attributed to the non-determinism and heuristics in CP-SAT, or whether I could improve things by "normalizing" my model construction somehow.
Question 2: If so, are there best practices on which variables/constraints to list first?