ampl-mp 4.0.0 ampl-asl 1.0.0 (new formula)

[chenrui333]

Created with brew bump-formula-pr.

• resource blocks have been checked for updates.

release notes

# First tagged release since 2016
Overview

Automatic reformulation framework

Logical, combinatorial and conic constraints are reformulated into basic constructs suitable for a given solver, see https://mp.ampl.com/
Out-multiplication of quadratics, as typical for MIQP solvers
Piecewise-linear approximation of univariate nonlinear functions


9 MILP/MIQP solvers implemented in MP, they are now default AMPL binaries
Multi-objective emulator #239
Reformulation explorer #232
Automatic solution check #200
NL Writer library added in C/C++ and Python #30
Expression tree output, suitable for (MI)NLP solver API, added in #137

Pull requests

Not all Linux have fpu_control.h (that's a glibc specific header) by @oswaldo4 in Not all Linux have fpu_control.h (that's a glibc specific header) ampl/mp#102
Fixwindows by @mapgccv in Fixwindows ampl/mp#117
Allow skip building tests with -DBUILD_TESTING=off by @zhihaoy in Allow skip building tests with -DBUILD_TESTING=off ampl/mp#123
find_library(DL_LIBRARY dl) is wrong by @zhihaoy in find_library(DL_LIBRARY dl) is wrong ampl/mp#124
CMake builtin c++11 flags by @zhihaoy in CMake builtin c++11 flags ampl/mp#125
Update to aslinterface to integrate complementarity constraints by @tmigot in Update to aslinterface to integrate complementarity constraints ampl/mp#112
64 bit windows build  by @mapgccv in 64 bit windows build  ampl/mp#127
Update fmt calls in the MySQL test by @jamesjer in Update fmt calls in the MySQL test ampl/mp#128
Update the gecode interface for gecode 5.x by @jamesjer in Update the gecode interface for gecode 5.x ampl/mp#129
avoid load of misaligned address warning in BinaryReader by @svigerske in avoid load of misaligned address warning in BinaryReader ampl/mp#134
Added MIP backend by @mapgccv in Added MIP backend ampl/mp#136
MIPBackend: more changes by @glebbelov in MIPBackend: more changes ampl/mp#137
Avoid jacop-related crashes due to destructor execution order by @jamesjer in Avoid jacop-related crashes due to destructor execution order ampl/mp#133
Feature/options by @mapgccv in Feature/options ampl/mp#140
make namespace explicit when accessing fmt from fmt::internal by @svigerske in make namespace explicit when accessing fmt from fmt::internal ampl/mp#175
Ortools by @mapgccv in Ortools ampl/mp#176
Revert "Ortools" by @mapgccv in Revert "Ortools" ampl/mp#177
Merge preliminary ortools driver by @mapgccv in Merge preliminary ortools driver ampl/mp#178
Revert "Ortools" by @glebbelov in Revert "Ortools" ampl/mp#179
Revert "Revert "Ortools"" Last of 5 by @glebbelov in Revert "Revert "Ortools"" Last of 5 ampl/mp#181
Revert "Revert "Ortools"" by @glebbelov in Revert "Revert "Ortools"" ampl/mp#182
Revert "Ortools": -5 of 5 by @glebbelov in Revert "Ortools": -5 of 5 ampl/mp#183
Update model-guide.rst by @4er4er4er in Update model-guide.rst ampl/mp#186
Mosek driver new features by @szelidvihar in Mosek driver new features ampl/mp#190
Draft: Add SCIP driver by @jurgen-lentz in Draft: Add SCIP driver ampl/mp#205
change scip to scipmp by @jurgen-lentz in change scip to scipmp ampl/mp#206
Draft: GCG driver by @jurgen-lentz in Draft: GCG driver ampl/mp#207
GCG driver by @jurgen-lentz in GCG driver ampl/mp#212
More migration to  by @jamesjer in More migration to <chrono> ampl/mp#235

New Contributors

@oswaldo4 made their first contribution in Not all Linux have fpu_control.h (that's a glibc specific header) ampl/mp#102
@mapgccv made their first contribution in Fixwindows ampl/mp#117
@zhihaoy made their first contribution in Allow skip building tests with -DBUILD_TESTING=off ampl/mp#123
@tmigot made their first contribution in Update to aslinterface to integrate complementarity constraints ampl/mp#112
@jamesjer made their first contribution in Update fmt calls in the MySQL test ampl/mp#128
@svigerske made their first contribution in avoid load of misaligned address warning in BinaryReader ampl/mp#134
@glebbelov made their first contribution in MIPBackend: more changes ampl/mp#137
@4er4er4er made their first contribution in Update model-guide.rst ampl/mp#186
@szelidvihar made their first contribution in Mosek driver new features ampl/mp#190
@jurgen-lentz made their first contribution in Draft: Add SCIP driver ampl/mp#205

Full Changelog: ampl/mp@3.1.0...v4.0.0

[chenrui333]

asl got removed from mp, ampl/asl#21

[github-actions]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

[github-actions]

This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. To keep this pull request open, add a help wanted or in progress label.

[chenrui333]

dropped ampl-mp@3 in favor of ampl-asl (it builds/tests out fine for ipopt)

[SMillerDev]

/home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/shims/linux/super/gcc-11 -DNo_Control87 -Dasl_EXPORTS -I/tmp/ampl-asl-20241122-3962-tpnem/asl-1.0.0/build/include -I/tmp/ampl-asl-20241122-3962-tpnem/asl-1.0.0/src/solvers -m64 -O3 -DNDEBUG -flto=auto -fno-fat-lto-objects -fPIC -Wno-unused-result -Wno-parentheses -MD -MT CMakeFiles/asl.dir/src/solvers/xp1known.c.o -MF CMakeFiles/asl.dir/src/solvers/xp1known.c.o.d -o CMakeFiles/asl.dir/src/solvers/xp1known.c.o -c /tmp/ampl-asl-20241122-3962-tpnem/asl-1.0.0/src/solvers/xp1known.c
[ 97%] Building C object CMakeFiles/asl.dir/src/solvers/xp2known.c.o
/home/linuxbrew/.linuxbrew/Homebrew/Library/Homebrew/shims/linux/super/gcc-11 -DNo_Control87 -Dasl_EXPORTS -I/tmp/ampl-asl-20241122-3962-tpnem/asl-1.0.0/build/include -I/tmp/ampl-asl-20241122-3962-tpnem/asl-1.0.0/src/solvers -m64 -O3 -DNDEBUG -flto=auto -fno-fat-lto-objects -fPIC -Wno-unused-result -Wno-parentheses -MD -MT CMakeFiles/asl.dir/src/solvers/xp2known.c.o -MF CMakeFiles/asl.dir/src/solvers/xp2known.c.o.d -o CMakeFiles/asl.dir/src/solvers/xp2known.c.o -c /tmp/ampl-asl-20241122-3962-tpnem/asl-1.0.0/src/solvers/xp2known.c
[ 98%] Linking C shared library bin/libasl.so
/home/linuxbrew/.linuxbrew/opt/cmake/bin/cmake -E cmake_link_script CMakeFiles/asl.dir/link.txt --verbose=1
./src/solvers/fgh_read.c:101:15: error: function ‘f2_HOL_ASL’ redeclared as variable
./src/solvers/rops2.c:1019:1: note: previously declared here
lto1: fatal error: errors during merging of translation units
compilation terminated.
lto-wrapper: fatal error: gcc-11 returned 1 exit status
compilation terminated.
/usr/bin/ld: error: lto-wrapper failed
collect2: error: ld returned 1 exit status

[cho-m]

Could try disabling LTO on Linux

[github-actions]

@chenrui333 has requested bottles to be published to this PR.