From 29b96e64f79d3dae62edf40b4f27d4bfe2c20e95 Mon Sep 17 00:00:00 2001 From: Dimitri Alston Date: Mon, 12 Jun 2023 14:08:11 -0400 Subject: [PATCH] Update README.md --- README.md | 12 +++++++----- 1 file changed, 7 insertions(+), 5 deletions(-) diff --git a/README.md b/README.md index 6c30105a..a1d134ce 100644 --- a/README.md +++ b/README.md @@ -13,16 +13,16 @@ EAGO is an open-source development environment for **robust and global optimizat ## EAGO's Optimizer Capabilities -EAGO is a deterministic global optimizer designed to address a wide variety of optimization problems, emphasizing nonlinear programs (NLPs), by propagating McCormick relaxations along the factorable structure of each expression in the NLP. Most operators supported by modern automatic differentiation (AD) packages (e.g. **+**, **sin**, **cosh**) are supported by EAGO and a number utilities for sanitizing native Julia code and generating relaxations on a wide variety of user-defined functions have been included. Currently, EAGO supports problems that have a priori variable bounds defined and have differentiable constraints. That is, problems should be specified in the generic form below: +EAGO is a deterministic global optimizer designed to address a wide variety of optimization problems, emphasizing nonlinear programs (NLPs), by propagating McCormick relaxations along the factorable structure of each expression in the NLP. Most operators supported by modern automatic differentiation (AD) packages (e.g., `+`, `sin`, `cosh`) are supported by EAGO and a number utilities for sanitizing native Julia code and generating relaxations on a wide variety of user-defined functions have been included. Currently, EAGO supports problems that have a priori variable bounds defined and have differentiable constraints. That is, problems should be specified in the generic form below:

## EAGO's Relaxations -For each nonlinear term, EAGO makes use of factorable representations to construct bounds and relaxations. In the case of F = y(y-5)sin(y), a list is generated and rules for constructing McCormick relaxations are used to formulate relaxations in the original Y decision space1: +For each nonlinear term, EAGO makes use of factorable representations to construct bounds and relaxations. In the case of `f(x) = x(x-5)sin(x)`, a list is generated and rules for constructing McCormick relaxations are used to formulate relaxations in the original `X` decision space1: -- *v*1 = y +- *v*1 = x - *v*2 = *v*1 - 5 - *v*3 = sin(*v*1) - *v*4 = *v*1*v*2 @@ -100,7 +100,9 @@ The EAGO package has numerous features: a solver accessible from JuMP/MathOptInt ## Recent News - 6/12/2023: [EAGO v0.8.0 has been tagged](https://github.com/PSORLab/EAGO.jl/releases/tag/v0.8.0). - - Updated EAGO to use the `MOI.Nonlinear` submodule instead of `JuMP._Derivatives`. + - Updated EAGO for compatibility with the nonlinear expression API changes introduced in JuMP v1.2: https://discourse.julialang.org/t/ann-upcoming-refactoring-of-jumps-nonlinear-api/83052 + - EAGO now uses the `MOI.Nonlinear` submodule instead of `JuMP._Derivatives`. + - Models, nodes, expressions, constraints, and operators are now compatible with MOI. - Added logic and comparison operators to `EAGO.OperatorRegistry`. For a full list of EAGO release news, click [**here**](https://github.com/PSORLab/EAGO.jl/releases). @@ -108,7 +110,7 @@ For a full list of EAGO release news, click [**here**](https://github.com/PSORLa ## Installing EAGO EAGO is a registered Julia package and it can be installed using the Julia package manager. -From the Julia REPL, type ] to enter the Pkg REPL mode and run the following command +From the Julia REPL, type `]` to enter the Package manager (Pkg) mode and run the following command ```julia pkg> add EAGO