No solver with tag highs found

[hdavid16]

I tried running the example in the readme that uses JuMP and got the following error:

Config exception: no solver with tag highs found
minizinc: MiniZinc driver.
Usage: minizinc  [<options>] [-I <include path>] <model>.mzn [<data>.dzn ...] or just <flat>.fzn
More info with "/Users/hperez/.julia/artifacts/651dd7526ee64ca01c52c9f4aec3183657321b4e/MiniZinc.x86_64-apple-darwin/bin/minizinc --help"
ERROR: failed process: Process(`/Users/hperez/.julia/artifacts/651dd7526ee64ca01c52c9f4aec3183657321b4e/MiniZinc.x86_64-apple-darwin/bin/minizinc --solver highs -o /var/folders/hz/1pps7dld2kz1wc7n0smmdrrh0000gn/T/jl_RPtt1B/model.ozn /var/folders/hz/1pps7dld2kz1wc7n0smmdrrh0000gn/T/jl_RPtt1B/model.mzn`, ProcessExited(1)) [1]

I have HiGHS.jl installed. Do I need to install something separately to run MiniZinc with JuMP?

[hdavid16]

Switched to master and this issue is no longer present

[odow]

Note that 0.3.11 is master. You likely had some outdated packages installed.