nextmv>=1.3.0
pyomo>=6.7.0
highspy>=1.7.0
