in this talk we use lagrange multipliers the conditions imposed by the structure preserving limiters are directly coupled to a dg discretization combined with implicit time integration method. the positivity preserving dg discretization is then reformulated as a karush-kuhn-tucker (kkt) problem, which is frequently encountered in constrained optimization. since the limiter is only active in areas where positivity must be enforced it does not affect the higher order dg discretization elsewhere. the resulting non-smooth nonlinear algebraic equations have, however, a different structure compared to most constrained optimization problems. we therefore develop an efficient active set semi-smooth newton method that is suitable for the kkt formulation of time-implicit positivity preserving dg discretizations. convergence of this semi-smooth newton method is proven using a specially designed quasi-directional derivative of the time-implicit positivity preserving dg discretization. the time-implicit positivity preserving dg discretization is demonstrated for several nonlinear equations.