Method exec

smt/solver.cpp:175–178

  }

  virtual TacticResult exec(const Goal &goal) const {
    UNREACHABLE();
    return {};
  };
};