push method

void push()

Implementation

void push() {
  _c._z3.solver_push(_solver);
}