add_library(smt_test yices2_test.cpp mathsat5_test.cpp dreal_test.cpp)