We describe how several tra c assignment and design problems can be formulated within the GAMS modeling language using newly developed modeling and interface tools. The fundamental problem is user equilibrium, where multiple drivers compete noncooperatively for the resources of the tra c network. A description of how these models can be written as complementarity problems, variational inequalities, mathematical programs with equilibrium constraints, or stochastic linear programs is given. At least one general purpose solution technique for each model format is brie y outlined. Some observations relating to particular model solutions are drawn.