Method append

smt/solver.cpp:218–220

  vector<unique_ptr<Tactic>> tactics;

  void append(Z3_tactic t) {
    set(this->t ? Z3_tactic_and_then(ctx(), this->t, t) : t);
  }

public:
  AndTactic(initializer_list<const char*> ts) {