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

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: https://github.com/staffjoy/autoscheduler https://github.com/staffjoy/autoscheduler