reset method

void reset()

Implementation

void reset() {
  _c._z3.solver_reset(_solver);
}