search

hdavid16 / DisjunctiveProgramming.jl

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

Reformulate nonlinear constraints correctly for CHR #23

Closed hdavid16 closed 2 years ago

hdavid16 commented 2 years ago

Manually replaces nonlinear constraints in model with changed constraints when applying convex hull reformulation. Ensures that a model is given at least two constraints.

hdavid16 commented 2 years ago

fork needs to be rebased