Summary of recent updates to MP2NL for AMPL
==========================================


## 20260525
- Forward AMPL imported function calls to the subsolver,
  such as gsl_ran_gaussian_pdf().


## 20260515
- Randomly permute algebraic constraints, which
  seems to help some solvers.
- Produce defined variables for algebraic expressions
  with reference count above *nl:assign:defvar*.
- Changes in MP, in particular:
  - Option *cvt:expr:nlreif*: above which reference count,
    logical expressions are reified.

## 20260414
- Changes in MP, in particular:
  - Option *cvt:pre:boundsbest* defaults to making
    auxiliary subexpression result variables free,
    unless the result is constant. This allows
    stronger nonlinear presolve.


## 20260108
- Reuse solutions between iterations of
  multi-objective emulator.


## 20251210
- Change in MP: option *obj:multi:options*: fix integer-valued
  objective-specific options.


## 20251121
- New option *obj:multi:options* to control
  whether multi-objective option suffixes
  are used.


## 20251021
- Changes in MP: option *cvt:expr:nlassign*.


## 20250814
- Changes in MP
  - Improved preprocessing of logical
    and combinatorial expressions
    (options cvt:pre:unnest, cvt:pre:sort).
  - Option cvt:pre:boundlogarg (default 0) to bound
    arguments of logarithm nonnegative. Previously
    always done, sometimes deteriorating performance
    of nonlinear solvers.


## 20250128
- Updates for compilers compatibility


## 20241219
- Added *WantLogicalizedProd2Bin()*


## 20240926
- First release of the MP2NL driver
