add support for multiple types of solvers to metaSMT-server