Add the names of SMT solvers to their mappings (and log them with SMT queries)#461

hra687261 merged 2 commits intoformalsec:mainformalsec/smtml:mainfrom

hra687261:add_solver_names_to_loghra687261/smtml:add_solver_names_to_logCopy head branch name to clipboard