---
abstract: 'This extended abstract describes work in progress on , an open-source, solver-agnostic API for SMT solving. provides an abstract interface, which can be implemented by different SMT solvers. 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.'
author:
- Makai Mann
- Amalee Wilson
- Cesare Tinelli
- Clark Barrett
bibliography:
- 'ms.bib'
title: |
    : a solver-agnostic C++ API for SMT solving\
    (Extended Abstract)
---


