Jason N

Results 5 issues of Jason N

When running benchmarks for the MiniZinc Challenge, there have been some instances where MiniZinc's output processing has become the bottleneck for solvers which output many solutions quickly (essentially penalising you...

enhancement

It doesn't seem possible to use callback data in a way that allows for swapping out HiGHS DLLs for newer versions safely. In 1.7.0, it looks like a new `pdlp_iteration_count`...

code-quality

On Linux (and possibly other platforms), when the current directory does not exist, then `getcwd()` always fails (and gives `errno = ENOENT`), meaning that the function enters an infinite loop...

This issue is track a feature request made in https://github.com/MiniZinc/MiniZincIDE/issues/212 to add an option to disable suppression of warnings and emit all of them.

enhancement

2.9.0 has a regression due to the new enum coercion checks not correctly removing calls to `enum2int` when they are used as the value of (or index of) comprehensions, leading...

bug
resolved