Smt-Switch: A Solver-Agnostic C++ API for SMT Solving-Reference-Cited by-同舟云学术

Smt-Switch: A Solver-Agnostic C++ API for SMT Solving

Published:2021 Issue: Volume: Page:377-386
ISSN:0302-9743
Container-title:Theory and Applications of Satisfiability Testing – SAT 2021
language:
Short-container-title:

Author:

Mann Makai^ORCID,Wilson Amalee^ORCID,Zohar Yoni^ORCID,Stuntz Lindsey,Irfan Ahmed^ORCID,Brown Kristopher^ORCID,Donovick Caleb^ORCID,Guman Allison,Tinelli Cesare^ORCID,Barrett Clark^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-030-80223-3_26

Reference21 articles.

1. Barrett, C., Fontaine, P., Tinelli, C.: The SMT-LIB Standard: Version 2.6. Technical Report, Department of Computer Science, The University of Iowa (2017). www.SMT-LIB.org

2. Barrett, C., Fontaine, P., Tinelli, C.: The Satisfiability Modulo Theories Library (SMT-LIB) (2021). www.SMT-LIB.org

3. Lecture Notes in Computer Science;C Barrett,2011

4. Behnel, S., Bradshaw, R., Citro, C., Dalcin, L., Seljebotn, D.S., Smith, K.: Cython: The best of both worlds. Comput. Sci. Eng. 13(2), 31–39 (2011)

5. Lecture Notes in Computer Science;A Cimatti,2013

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Satisfiability.jl: Satisfiability Modulo Theories in Julia;Journal of Open Source Software;2024-08-20

2. Satisfiability Modulo Exponential Integer Arithmetic;Lecture Notes in Computer Science;2024

3. Modelling program verification tools for software engineers;Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems;2022-10-23

4. Bit-Precise Reasoning via Int-Blasting;Lecture Notes in Computer Science;2022

5. Pono: A Flexible and Extensible SMT-Based Model Checker;Computer Aided Verification;2021