论文标题
SMT-SWITCH：用于解决SMT的求解器c ++ API
Smt-Switch: a solver-agnostic C++ API for SMT Solving
论文作者
论文摘要
这个扩展的摘要描述了在SMT-Switch上正在进行的工作，SMT-SWitch是用于SMT求解的开源，求解器无关的API。 SMT-SWitch提供了一个抽象接口，可以由不同的SMT求解器实现。 SMT开关为在自动推理，计划和正式验证等领域的应用程序中提供了简单，统一和高性能的访问。该接口允许用户创建，遍历和操纵术语，并动态向不同的基础SMT求解器分配查询。
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.
