pop method

void pop([ int n = 1 ])

Implementation

void pop([int n = 1]) {
  _c._z3.solver_pop(_solver, n);
}