setParams method

void setParams(
  1. Params params
)

Implementation

void setParams(Params params) {
  _c._z3.solver_set_params(_solver, params._params);
}