This document is a users manual for DYN-OPT, a linear program that optimally and dynamically assigns traffic to lanes on an automated highway. The program maximizes the total flow across the highway over a pre-specified length of time. DYN-OPT solves a path-based formulation in which the highway...