Added in the solver agnostic interface for SMT.