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

DOI10.1007/978-3-030-80223-3_26MaRDI QIDQ2118327zbMATH OpenOpenAlexFDO

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

Publication date 22 March 2022

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

Mathematics Subject Classification ID

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

Cites work

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

Cited in

(2)

• SMTCoq: a plug-in for integrating SMT solvers into Coq
• Smt-Switch

Describes a project that uses

Uses Software

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

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2118327)