A Provable Semi-Infinite Programming Approach for Solving Constrained Dynamic Games | Synapse