SMT Spatio-Temporal Planning