Erik Cervin Edin
Erik Cervin Edin
I might be doing something wrong but I expected being able to overload `++` and use it in the following way. ```zinc array[int, int] of int: t1 = [|1, 2|];...
Related to [this](https://github.com/MiniZinc/libminizinc/issues/838#issuecomment-2313798152) I tried something like this ```zinc par int: x = 1; var 0..: y; function array[int] of ann: dummy_search() = [ int_search([x], input_order, indomain_min) ]; solve ::...
If I use snap latest/edge and run ``` $ /snap/minizinc/current/bin/fzn-cp-sat --helpfull ``` I get ``` /snap/minizinc/current/bin/fzn-cp-sat: error while loading shared libraries: libabsl_flags_parse.so.2407.0.0: cannot open shared object file: No such file...
Looks like the snap channel for stable hasn't been updated to 2.9.0 yet https://snapcraft.io/minizinc
I think this might be a bug ```zinc set of int: X = {1,3,5} diff (2..5 union 1..0); set of int: Y = {1,3,5} diff (2..5 union {}); output show([X,Y]);...
I recently discovered that it is possible to specify a minimum version required by a MiniZinc model https://docs.minizinc.dev/en/stable/lib-stdlib-language.html#mzn-ref-stdlib-language-mzn-min-version-required For example ``` mzn_min_version_required = 2 * 10000 + 8 * 1000...
Running `mininzinc --solver cp-sat` in the latest snap installation doesn't work. Comparing the folder structure in the tarball and the snap package it looks like the `share/minizinc/cp-sat` folder is missing...
The GNU-specific head -n-1 syntax causes errors on macOS/BSD systems. Replaced with sed '$d' which is POSIX-compatible and achieves the same result of removing the last line.
### Steps to Reproduce This reproduces the GitHub Actions scenario where `actions/checkout@v4` uses `--depth=1` by default. **Quick reproduction using test branch:** ```bash # 1. Create a shallow clone (simulates GitHub...
This assertion https://github.com/MiniZinc/minizinc-python/blob/2db41dd125ca98fee712ddb3d6436c2eca98d2fc/docs/basic_usage.rst?plain=1#L58C1-L58C42 fails when I run `minizinc==0.10.0`