julia 1.0
Erdos
JuMP 0.19
GLPK
BlossomV