Traffic light started

Modeling traffic lights is implemented, but the program still cannot
apply constraints to the solution from the models.