TL;DR
Smt-Switch is an open-source, solver-agnostic C++ API that offers a uniform, high-performance interface for SMT solving, facilitating applications in automated reasoning, planning, and formal verification.
Contribution
It introduces a flexible, solver-agnostic API for SMT solving that simplifies integration and switching between different SMT solvers.
Findings
Provides a unified interface for multiple SMT solvers
Enables dynamic dispatch of queries to different solvers
Improves accessibility and performance in SMT-based applications
Abstract
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.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Code & Models
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
