| ||||
| ||||
![]() Title:Smt-Switch: a Solver-agnostic C++ API for SMT Solving Authors:Makai Mann, Amalee Wilson, Yoni Zohar, Lindsey Stuntz, Ahmed Irfan, Kristopher Brown, Caleb Donovick, Allison Guman, Cesare Tinelli and Clark Barrett Conference:SAT-2021 Tags:API, application programming interface, Boolector, C++, CVC4, MathSAT, satisfiability modulo theories, SMT, Yices2 and Z3 Abstract: This paper presents 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: a Solver-agnostic C++ API for SMT Solving ![]() Smt-Switch: a Solver-agnostic C++ API for SMT Solving | ||||
Copyright © 2002 – 2025 EasyChair |