Smt-Switch: a solver-agnostic C++ API for SMT solving
type: Item
instance of: scholarly article
title: Smt-Switch: a solver-agnostic C++ API for SMT solving
DOI: 10.1007/978-3-030-80223-3_26
author: Makai Mann
author: Amalee Wilson
author: Yoni Zohar
author: Lindsey Stuntz
author: Ahmed Irfan
author: Kristopher Brown
author: Caleb Donovick
author: Allison Guman
author: Cesare Tinelli
author: Clark Barrett
publication date: 2022-03-22T00:00:00Z
full work available at URL: https://arxiv.org/abs/2007.01374
Mathematics Subject Classification ID: 68Q25
Mathematics Subject Classification ID: 68R07
Mathematics Subject Classification ID: 68T20
zbMATH DE Number: 7495586
describes a project that uses: MathSAT5
describes a project that uses: Cython
describes a project that uses: PySAT
describes a project that uses: SBV
describes a project that uses: Pono
describes a project that uses: BtorMC
describes a project that uses: metaSMT
describes a project that uses: SMT Kit
describes a project that uses: lazybv2int
describes a project that uses: CVC4
describes a project that uses: SMT-LIB
describes a project that uses: z3
describes a project that uses: PySMT
describes a project that uses: pytest
describes a project that uses: CMake
describes a project that uses: Flex
describes a project that uses: Boolector
describes a project that uses: Yices
describes a project that uses: googletest
describes a project that uses: Bison
describes a project that uses: GitHub
MaRDI profile type: Publication
OpenAlex ID: W3164356218
cites work: The MathSAT5 SMT Solver
cites work: PySAT: a Python toolkit for prototyping with SAT oracles
description: scientific article; zbMATH DE number 7495586