Yes - Mobius used a lot of the Gurobi API features, including tuning the model before deploying. It's a pretty vanilla use of their library.
I'm more proud of the Autoscheduler algorithm in Julia, which uses a bunch of different models in a kind of Dynamic Programming approach. Check out its README for an explanation:
