I created a model in minizinc that I am translating to ortools CP (sat). In order to avoid symmetries:

I’d be interested to use MiniZinc for its in-browser experience & its support of many solvers, but at the same time I find CP-SAT (from OR-Tools) really efficient and I’d like to be sure that by choosing to use MiniZinc with CP-SAT as a backend, I lose nothing compared to using CP-SAT directly.