[PPT] - On Solving Temporal Logic Constraints in Constrained Transition PowerPoint Presentation