Summarize SMT-LIB 2.0 logics