SMT-LIB Logic