toSolver method

Solver toSolver()

Implementation

Solver toSolver() {
  return _c._getSolver(_c._z3.mk_solver_from_tactic(_tactic));
}