EAGO.jl
EAGO.jl copied to clipboard
PSORLab
A development environment for robust and global optimization
- [ ] Support graph structures with multiple sinks and a sources - [ ] Support multiple parents for each node - [ ] (Potentially) Support graphs with cycles (possibly...
- [ ] Add a AbstractCache to store convexity information. - [ ] Define propagation on standard directed acyclic graph structure for disciplined convex programming. - [ ] Add interval...
EAGO#master is failing with MOI#master with the error `free(): invalid pointer`. See https://github.com/blegat/SolverTests/runs/1934867045
- [ ] Finish trilinear function in McCormick.jl as detailed in https://github.com/PSORLab/McCormick.jl/issues/35 - [ ] Incorporate trilinear into forward_multiply_narity! - [ ] Add unit tests with trilinear terms (3 -...
Currently, the high level SIP algorithm requests a objective and constraint in the form `f(x,p)`, `g(x,p)` were `f` and `g` are used defined functions. This limits the number of viable...
EAGO's handling of this class of problems is somewhat limited relative to existing MINLP offerings (BARON, ANTIGONE, etc.). We aren't currently exploiting specialized forms or reformulations therein. We still need...
This was reverted on v0.4 of EAGO as the tolerance based approach we initially tried resulted in incorrect results. So to enable this we need: - [ ] a correctly-rounded...
- [ ] Add buffered storage object - [ ] Add `lower_interval_bound`, `interval_bound` functions - [ ] Add `relax!` function - [ ] Update `relax_all_constraints!`, `delete_nl_constraints!`, `label_branch_variables!`, `parse_classify_problem!` - [...
Right now, we're using a fancy overloading approach to build relaxations of nonlinear terms. Expansiveness of the interval calculations can lead to intermediate terms containing an interval bound on which...