Base off of JuMP 0.6.3