Jason N

Would you be able to attach an example project and steps to reproduce? Or if you can't publicly share it, you can e-mail it to `support [at] minizinc.dev`. I haven't...

Unfortunately I still can't seem to reproduce this (on an M1 mac running macOS 14.0). Were you able to trigger this on a fresh clone of the `lab-02.mzp` project? I've...

What version of Qt did you use to build? The official build used 6.5.1, so maybe this is actually a Qt bug which got fixed later. Although that still doesn't...

Would you be able to try [this build](https://github.com/cyderize/MiniZincIDE/releases/download/2.8.0-preview/MiniZincIDE-build1066109930-bundled.dmg)? This has been built by our CI system using the latest stable Qt, so if the issue persists here then we'll have...

As a workaround until this is fixed, you can pass the `funcs` array as an argument to your `dog` function: ``` function var bool:dog(array[int] of var func: fns, int:t) =...

I think this is just a limitation of how linearisation works for MIP solvers like CBC. Without any bounds for the `input` field of the record, it's not possible to...

Yes it seems the slice is somehow not being type checked correctly. As a workaround for now, this seems to work: ``` array[int] of int: bar = [ r[1] |...

I think the reason that the IDE is unable to find a default browser would likely be because it's running in Docker (it might be possible to get it to...

I suppose it doesn't really matter whether the constraint is a top-level item or within a let-expression - they should (hopefully) both work the same. It is just more typical...

This is probably more to do with the `opt set` - these are currently not really supported (they happen to work sometimes by coincidence, but there seem to be many...