search

hdavid16 / DisjunctiveProgramming.jl

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

Support disjunct constraints with integer variables #109

Closed hdavid16 closed 8 months ago

hdavid16 commented 8 months ago

Fixes #105. Still disallows binary variables in a disjunct constraint. The error message is improved to indicate that the user should rely on Logic variables to model any binary decisions.

Note: @pulsipher, I saw some printing tests failed locally MacOS where == was being replaced with = and \\iff was expected instead.

pulsipher commented 8 months ago

The printing problem can be fixed by updating to use the printing API provided by https://github.com/jump-dev/JuMP.jl/pull/3609. I will open a PR when I can find some extra time.

codecov[bot] commented 8 months ago

Codecov Report

All modified and coverable lines are covered by tests :white_check_mark:

Comparison is base (eb1ce6c) 99.80% compared to head (03f3653) 99.80%.

Additional details and impacted files ```diff @@ Coverage Diff @@ ## master #109 +/- ## ======================================= Coverage 99.80% 99.80% ======================================= Files 11 11 Lines 1021 1021 ======================================= Hits 1019 1019 Misses 2 2 ```

:umbrella: View full report in Codecov by Sentry.
:loudspeaker: Have feedback on the report? Share it here.