Automatic SMT Tooling