Comment by cerved

Well if your using MiniZinc you're free to use a CP solver, MIP solver, SAT solver, CP-SAT-LP solver. In general the model is roughly the same, even though some formulations work better for some solvers than others.

But CP (and CP-SAT) solvers tend to do very well on scheduling problems