Been using JuMP as a central part of a big project at work for the past 18 months and it's been great. Very intuitive to use, and lots of helpful responses on GitHub or discourse wherever there's been questions about the best way to do something. Congratulations on the latest milestone!