Smt-Switch: a solver-agnostic C++ API for SMT solving
scientific article; zbMATH DE number 7495586