Smt-Switch: A Solver-Agnostic C++ API for SMT Solving. - Makai Mann; Amalee Wilson; Yoni Zohar; Lindsey Stuntz; Ahmed Irfan; Kristopher Brown; Caleb Donovick; Allison Guman; Cesare Tinelli; Clark W. Barrett (SAT, 2021)