search

lanl-ansi / Alpine.jl

A Julia/JuMP-based Global Optimization Solver for Non-convex Programs
https://lanl-ansi.github.io/Alpine.jl/latest/
Other
244 stars 39 forks source link

bound propagation buggy #147

Closed tweisser closed 4 years ago

tweisser commented 4 years ago

I think the test here should be against m.l_var_tight in order to stop, when the upper bound is smaller than the lower bound.

harshangrjn commented 4 years ago

Perfect! This needs to be fixed.

harshangrjn commented 4 years ago

@tweisser Do you want to send a PR for this? ;)