search

hdavid16 / DisjunctiveProgramming.jl

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

`check_logical_proposition` should be more robust #58

Closed hdavid16 closed 10 months ago

hdavid16 commented 1 year ago

Don't rely on Suppressor.jl

hdavid16 commented 10 months ago

fixed in v0.4.0