Smt-Switch

swMATH41581MaRDI QIDQ1353554FDOQ1353554

Author name not available (Why is that?)

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)

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

This page was built for software: Smt-Switch