Since reformulations of nonlinear (or quadratic if using the hull reformulation) constraints requires deleting the original constraint and creating a new constraint, the section in reformulate_disjunction that creates the dictionary with new constraints errors because the disj has been modified.
Since reformulations of nonlinear (or quadratic if using the hull reformulation) constraints requires deleting the original constraint and creating a new constraint, the section in
reformulate_disjunction
that creates the dictionary with new constraints errors because thedisj
has been modified.https://github.com/hdavid16/DisjunctiveProgramming.jl/blob/a118804afb67ec1a9c896ebde01c3cc4e8e2dd60/src/reformulate.jl#L30-L32