Parametric Timed Automata SMT checker