This extended abstract describes work in progress on Smt-Switch, an open-source, solver-agnostic API for SMT solving. Smt-Switch provides an abstract interface, which can be implemented by different SMT solvers. Smt-Switch provides simple, uniform, and high-performance access to SMT solving for applications in areas such as automated reasoning, planning, and formal verification. The interface allows the user to create, traverse, and manipulate terms, as well as to dynamically dispatch queries to different underlying SMT solvers.

中文翻译：

---

Smt-Switch：用于 SMT 求解的与求解器无关的 C++ API

这个扩展的摘要描述了 Smt-Switch 正在进行的工作，Smt-Switch 是一个用于 SMT 求解的开源、与求解器无关的 API。Smt-Switch 提供了一个抽象接口，可以由不同的 SMT 求解器实现。Smt-Switch 为自动化推理、规划和形式验证等领域的应用程序提供了对 SMT 求解的简单、统一和高性能的访问。该界面允许用户创建、遍历和操作术语，以及将查询动态分派到不同的底层 SMT 求解器。