Comment by raverbashing

> MiniZinc is a DSL for modelling combinatorial optimization problems, and Google or-tools is a solver that can solve such problems.

Their DSL look very similar to a lot of specific DSLs of other tools in the field

As opposed to OR-Tools where you can directly use a language you know (like Python) to express your constraints and targets

Having worked with both approaches, I like the latter better