95A31

Duplicated bool_xor entry

1

Hello, There are two [descriptions](https://www.minizinc.org/doc-latest/en/lib-flatzinc.html#bool-flatzinc-builtins) of the constraint `bool_xor`, one is reified and one is not. Are both of them correct? Best regards

TypeError in checker models where data partially fixes variable arrays

5

Hello, I would like to know if it is possible to adjust the variables' domain from the data file. In detail I would like do something like this: MODEL ```...

[Feature Request] Show running time

3

Hello, I am wondering if it is possible to add a column with the running time of the process. Best regards

Linkage and compilation issues

3

Hello, I am experimenting with the library but when I compile my project using the .so file in the python package I get the error: undefined reference to `cuBool_Matrix_EWiseMult'. If...

[Puzzle] N-Queens

7

Hello, I am investigating how effective is RL in the context of combinatorial problems. To this end, I would like to implement the [N-Queens puzzle](https://en.wikipedia.org/wiki/Eight_queens_puzzle), where _n_ queens has to...

Hello, This patch implements a stronger pruning technique for the BinPacking constraint. It leverages tighter lower bounds based on Dual-Feasible Functions. This approach was presented at CP 2024 in the...