Erik Cervin Edin
Erik Cervin Edin
I thought I could assign a _slice_ of a 2d array in a list comprehension, but it seems to fail. ### [`playground.mzn`](https://play.minizinc.dev/#project=%7B%22files%22%3A%5B%7B%22name%22%3A%22Playground.mzn%22%2C%22contents%22%3A%22array%5Bint%2C%20int%5D%20of%20int%3A%20foos%20%3D%20%5B%7C%201%2C%200%20%7C%5D%3B%5Cn%5Cnarray%5Bint%5D%20of%20int%3A%20bar%20%3D%20%5B%5Cn%20%20r%5B1%5D%20%7C%20i%20in%20index_set_1of2(foos)%2C%20r%3Dfoos%5Bi%2C%20..%5D%5Cn%5D%3B%22%7D%5D%2C%22tab%22%3A0%2C%22solverId%22%3A%22org.minizinc.gecode_presolver%22%2C%22solverConfig%22%3A%7B%22enableTimeLimit%22%3Afalse%2C%22timeLimit%22%3A1%2C%22allSolutions%22%3Afalse%2C%22verboseCompilation%22%3Afalse%2C%22verboseSolving%22%3Afalse%2C%22compilerStatistics%22%3Afalse%2C%22solvingStatistics%22%3Afalse%2C%22outputTime%22%3Afalse%2C%22freeSearch%22%3Afalse%7D%2C%22minizincVersion%22%3A%22latest%22%7D) ```zinc array[int, int] of int: foos = [|...
The following model ### `model.mzn` ```zinc enum nume = { A }; type item = record(nume: x); array[int] of item: arr; ``` and the following json data file ### `data.json`...
Given the following `model.mzn` ```zinc enum e = { A }; array[int] of e: As = [ A ]; record( array[int] of e: as ): foo = (as: As); output...
Take the following simple model. ```zinc % Works test valid(record(int:x): x) = true; test valid(record(int:y): x) = true; % Doesn't work type rx = record(int:x); type ry = record(int:y); test...
I've done a quick look to see if there's a MiniZinc function that can get the dimension of a Record/Tuple but haven't been able to find anything in the standard...
Tried another codeium instance, version 1.6.39 and I'm not getting any suggestions. I'm using version 1.6.28 (on another codeium instance) and it's working fine. Hard to provide much in the...
Underscore should not be escaped with a backslash ## what Remove escaping of underscore in the awk regex ## why `\_` is not a valid GNU awk regular expression, at...
Can't get `minizinc --solver findmus` to work in 2.8.4. ```sh echo 'constraint true == false;' > model.mzn && minizinc --solver findmus model.mzn ``` ```text multiple errors: ``` Possibly related commit...
Seems like the parser can't parse integer literals greater than `9223372036854775807` ```sh echo 'type int64 = -9223372036854775808..9223372036854775807' | minizinc - ``` ```text stdin:1.15-33: type int64 = -9223372036854775808..9223372036854775807 ^^^^^^^^^^^^^^^^^^^ Error: syntax...
```zinc enum E = {A,B}; array[1..2] of var E: X = [ if i == 1 then B else _ endif | i in 1..2 ]; ``` result ```text MiniZinc:...