Smt-Switch

MaRDI QIDQ1353554swMATHFDO

Official website https://arxiv.org/abs/2007.01374

Source code repository https://github.com/stanford-centaur/smt-switch

Described by source

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

Cited in

(13)

• JavaSMT
• PySMT
• Bison
• pytest
• googletest
• Flex
• Booster
• Sally
• Btor2Tools
• lazybv2int
• metaSMT
• SBV
• SMT Kit

This page was built for software: Smt-Switch