MiniZinc is a high-level CP language and tool chain, not a solver. Google has been developing their suite of OR tools for 15+ years, it's not like they built something from scratch just for this