Smt-Switch: a solver-agnostic C++ API for SMT solving

DOI10.1007/978-3-030-80223-3_26OpenAlexW3164356218MaRDI QIDQ2118327

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

Publication date: 22 March 2022

Full work available at URL: https://arxiv.org/abs/2007.01374

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Problem solving in the context of artificial intelligence (heuristics, search strategies, etc.) (68T20) Computational aspects of satisfiability (68R07)

Related Items (1)

Smt-Switch

Uses Software

• Boolector
• SMT-LIB
• Yices
• z3
• CVC4
• MathSAT5
• Cython
• PySMT
• pytest
• CMake
• GitHub
• googletest
• PySAT
• Bison
• Flex
• SMT Kit
• BtorMC
• lazybv2int
• metaSMT
• Pono
• SBV

Cites Work

• PySAT: a Python toolkit for prototyping with SAT oracles
• The MathSAT5 SMT Solver

This page was built for publication: Smt-Switch: a solver-agnostic C++ API for SMT solving