Jason N

We've now added a copy to clipboard button to the code blocks as a workaround. This will be available in the stable docs for the next release, or now using...

Including `nosets.mzn` decomposes set variables into booleans rather than forbidding them (and adding the include to the `redefinitions.mzn` is the right thing for this, so if somehow there are still...

This has already been fixed on the `develop` branch and will work in the next release. Thanks! You can use the [edge](https://github.com/MiniZinc/MiniZincIDE/releases/tag/edge) release if you want the fix now.

This seems to have been fixed in HiGHS 1.12.0, which will be included in the next release (or you can use the [edge release](https://github.com/MiniZinc/MiniZincIDE/releases/tag/edge) to get the updated HiGHS version...