Yes, the best online courses I have ever taken: entertaining and challenging in equal measure.

I then used MiniZinc to solve a resource allocation problem for two large border checkpoints, assigning staff across lanes for multiple transit types (motorcycle, car, truck, bus and train).