I can’t reproduce this. Try ] rm CouenneNL ] add https://github.com/rdeits/CouenneNL.jl
] rm CouenneNL
] add https://github.com/rdeits/CouenneNL.jl