setParams method

void setParams(
  1. Params params
)

Implementation

void setParams(Params params) {
  _c._z3.optimize_set_params(_optimize, params._params);
}