or tools - Does the domain of an IntVar affect the performance of a CP-SAT solver

Question

Dears, I normally specify big IntVar even if they are not needed:

model.NewIntVar(-93372036854775808, 9123372036854775807, 'test')

Does it affect the performances of the Solver or is it irrelevant? I mean is it better to limit the domain of the variable to a reasonable one or is it not impacting the solver logics?

Thanks

question from:https://stackoverflow.com/questions/65901184/does-the-domain-of-an-intvar-affect-the-performance-of-a-cp-sat-solver

Answer 1

In general, it is better to limit the domain of the variables.

1. step away as much as possible from overflow values
2. perfectly tight domains are not mandatory, as presolve will tighten them. But some presolve rules may scan all values. So it is better to give small domains.