Tag JuMP v0.5.1