Just to be clear, is this a JuMP-specific version of this survey? I’m asking because for a moment it felt like a deja vu!
