Time Tabling using the QF_UFLIA logic and SMT solver Yices