Jip J. Dekker
Jip J. Dekker
`tree-sitter`, like `yacc`, provides users with the option to give a rule left, right, or dynamic associativity. Unlike `yacc`, it doesn't seem to allow for non-associative rules, marked by `%nonassoc`...
The standard `JSONEncoder` that is used to create the JSON input for a MiniZinc model ensures that an `IntEnum` is always represented using its integer representation: https://github.com/python/cpython/blob/3.9/Lib/json/encoder.py#L309-L313 Normally the JSON...
@dtonhofer pointed out that we have the following comment in our search documentation: > THE CURRENT EXPERIMENT IS USELESS! -- [Location](https://github.com/MiniZinc/libminizinc/blame/2bbc5b47b24449eb44dc84b92407b981c38fe191/docs/en/mzn_search.rst#L511) It looks like @pstuckey added this a long time...
The following MiniZinc model ``` array[1..3] of var bool: bs; constraint sum(i in 1..3) ( i * bs[i] ) < 5; ``` results in the following FlatZinc model when compiled...
Solving the following fragment using Gecode allows `foo = 2`, but this should not be allowed as it would make the constraint `9 1` as it results in a half-reified...
I found that in the following model ```mzn int: nshapes = 2; set of int: SHAPE = 1..nshapes; set of int: SHAPE0 = 0..nshapes; array[SHAPE] of set of int: shape...
Although constraints with `infinity` values can often be rewritten into other constraints (such as the examples in #661), there is nothing preventing `infinity` from being used as arguments for solver...
The intention of the PR is to allow interfacing with FindMUS. The idea being that the same `Instance` objects could be use to query FindMUS. The process for this can...
**Is your feature request related to a problem? Please describe.** I'm working on a language that includes a tree-sitter parser. Although it is great that this project can immediately provide...