@inproceedings{c5d9f94555b849f48a8150a536547401,
title = "Smt-Switch: A Solver-Agnostic C++ API for SMT Solving",
abstract = "This paper presents Smt-Switch, an open-source, solver-agnostic API for SMT solving. Smt-Switch provides simple, uniform, and high-performance access to SMT solving for applications in areas such as automated reasoning, planning, and formal verification. It defines an abstract interface, which can be implemented by different SMT solvers. The interface allows the user to create, traverse, and manipulate terms, as well as dynamically dispatch queries to various underlying SMT solvers.",
author = "Makai Mann and Amalee Wilson and Yoni Zohar and Lindsey Stuntz and Ahmed Irfan and Kristopher Brown and Caleb Donovick and Allison Guman and Cesare Tinelli and Clark Barrett",
note = "Publisher Copyright: {\textcopyright} 2021, Springer Nature Switzerland AG.; 24th International Conference on Theory and Applications of Satisfiability Testing, SAT 2021 ; Conference date: 05-07-2021 Through 09-07-2021",
year = "2021",
doi = "https://doi.org/10.1007/978-3-030-80223-3_26",
language = "الإنجليزيّة",
isbn = "9783030802226",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Science and Business Media Deutschland GmbH",
pages = "377--386",
editor = "Chu-Min Li and Felip Many{\`a}",
booktitle = "Theory and Applications of Satisfiability Testing – SAT 2021 - 24th International Conference, 2021, Proceedings",
address = "ألمانيا",
}