[docs] add MiniZinc.jl to installation table

[odow]

cc @chriscoey

[codecov]

Codecov Report

All modified lines are covered by tests ✅

Comparison is base (4b5751c) 98.25% compared to head (952885a) 98.25%.

Additional details and impacted files

@@           Coverage Diff           @@
##           master    #3529   +/-   ##
=======================================
  Coverage   98.25%   98.25%           
=======================================
  Files          37       37           
  Lines        5563     5563           
=======================================
  Hits         5466     5466           
  Misses         97       97           

☔ View full report in Codecov by Sentry.
📢 Have feedback on the report? Share it here.

[chriscoey]

Thanks Oscar. I wonder if at some point we might be able to say e.g. SCIP.jl also supports the cp-sat category (perhaps this would be pretty tough to implement though)

[odow]

We've generally gone for descriptions of what the .jl package supports, not what the underlying solver does.

The categories are also very coarse, so I don't know if they're super useful.