Air traffic scheduling lab exercise for the Modeling and Solving Constrained Optimization Problems lecture.