Solving Temporal Problems using SMT: Weak Controllability