Method toString

smt/solver.cpp:80–82

  }

  const char* toString() const {
    return Z3_goal_to_string(ctx(), goal);
  }
};