Translate CVXPY problems into Gurobi or SCIP models
Translate CVXPY problems into solvers' native models