Matt Wagenfeld

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