Matt Wagenfeld Simulation of Lean with Theory of Constrataints is very good, as are the practical exercises.