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

Browse the full SAT paper archive.