An additional benefit och using MiniZinc is that the same model for the problem can be tested with different types of solvers, including MIP solvers such as Gurobi and CP-solvers such as Google OR-tools as well as the built-in MiniZinc solvers (e.g., Gecode and Chuffed).
To get started with MiniZinc, the Coursera courses are a nice start