pub unsafe extern "C" fn Z3_solver_pop( c: Z3_context, s: Z3_solver, n: c_uint)
Backtrack n backtracking points.
n
Z3_solver_push
n <= Z3_solver_get_num_scopes(c, s)