Update ref to HiGHS in README.md (#51)

jump-dev · Oct 25, 2023 · 73c479a · 73c479a
1 parent 8b6d322
commit 73c479a
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/README.md b/README.md
@@ -99,7 +99,9 @@ julia> main()
 ## Use with JuMP
 
 You can also call MiniZinc from JuMP, using any solver that `libminizinc`
-supports. By default, MiniZinc.jl is compiled with `"highs"`:
+supports. By default, MiniZinc.jl is compiled with the
+[HiGHS](https://github.com/ERGO-Code/HiGHS) MILP solver,
+which can be selected by passing the `"highs"` parameter to `MiniZinc.Optimizer`:
 
 ```julia
 using JuMP