[docs] add the MINLP solver MAiNGO (#3696)

jump-dev · Mar 9, 2024 · a024e28 · a024e28
1 parent 7411fe0
commit a024e28
Show file tree

Hide file tree

Showing 3 changed files with 7 additions and 0 deletions.
diff --git a/docs/.vale.ini b/docs/.vale.ini
@@ -20,6 +20,9 @@ Google.Periods = NO
 [docs/src/packages/Manopt.md]
 Google.Exclamation = NO
 
+[docs/src/packages/MAiNGO.md]
+Vale.Spelling = NO
+
 [docs/src/packages/Optim.md]
 Google.EmDash = NO
 

diff --git a/docs/packages.toml b/docs/packages.toml
@@ -157,6 +157,9 @@
     user = "MadNLP"
     rev = "389561354a774441cd5e6b3aa5fffee102ed222e"
     has_html = true
+[MAiNGO]
+    user = "MAiNGO-github"
+    rev  = "b6ea68189558558e44195c1f87c00d9f5038cf0d"
 [Manopt]
     user = "JuliaManifolds"
     rev = "v0.4.51"

diff --git a/docs/src/installation.md b/docs/src/installation.md
@@ -126,6 +126,7 @@ The link in the `Solver` column is the corresponding Julia package.
 | [Juniper.jl](https://github.com/lanl-ansi/Juniper.jl)                          |                                                                                  |        | MIT      | (MI)SOCP, (MI)NLP         |
 | [Loraine.jl](https://github.com/kocvara/Loraine.jl)                            |                                                                                  |        | MIT      | LP, SDP                   |
 | [MadNLP.jl](https://github.com/sshin23/MadNLP.jl)                              |                                                                                  |        | MIT      | LP, QP, NLP               |
+| [MAiNGO](https://git.rwth-aachen.de/avt-svt/public/maingo)                     | [MAiNGO.jl](https://github.com/MAiNGO-github/MAiNGO.jl)                          |        | EPL 2.0  |(MI)NLP                    |
 | [Manopt.jl](https://github.com/JuliaManifolds/Manopt.jl)                       |                                                                                  |        | MIT      | NLP                       |
 | [MiniZinc](https://www.minizinc.org/)                                          | [MiniZinc.jl](https://github.com/jump-dev/MiniZinc.jl)                           | Manual | MPL-2    | CP-SAT                    |
 | [Minotaur](https://github.com/coin-or/minotaur)                                | [AmplNLWriter.jl](https://github.com/jump-dev/AmplNLWriter.jl)                   | Manual | BSD-like | (MI)NLP                   |