TY  - RPRT
TI  - Smt-Switch: a solver-agnostic C++ API for SMT Solving
AU  - Makai Mann
AU  - Amalee Wilson
AU  - Cesare Tinelli
AU  - Clark Barrett
PY  - 2020
UR  - https://arxiv.org/abs/2007.01374
ID  - 2007.01374
ER  -