search

hdavid16 / DisjunctiveProgramming.jl

A JuMP extension for Generalized Disjunctive Programming
MIT License
27 stars 3 forks source link

Bug: Big-M Reformulation for `MOI.EqualTo` constraints #39

Closed hdavid16 closed 2 years ago

hdavid16 commented 2 years ago

x + y = 1 needs to be replaced by 1 <= x + y <= 1 and then split into two separate constraints to allow proper Big-M implementation.