XCSP3-CPP-Parser

XCSP3-CPP-Parser copied to clipboard

Wrong hybrid-1 extension constraint

1

Hi, Given: ``` 1..32 %0 %1 (1,2..9)(1,25..32) labels[0] labels[1] ``` It completely ignores the intervals and simply parses it as a table constraint with supports `(1,2) (1,25)`, calling `buildConstraintExtension`. Besides,...

ptal

Destructor for Node

3

Hello! Just a small reminder that the class Node (in XCSP3TreeNode.h) needs a destructor to free the memory. This is needed because Node contains: std::vector parameters ; Thanks in advance...

siala

Playing with valgrind, I've found that, in class `XMLParser`, there are pointers to allocated memory: in `toFree`, in `toFreeEntity`, in `allDomains` and in `variablesList`. Seems that the memory managed is...

massimomorara

Memory leak

4

Hi, I would ask you for some help. I read XCSP3 "Knight" files and I generate a matrix with the information of the variables and arrays at the very beginning....

rafa-hub

``` x[] 2 1 3 2 le ```

audemard

... or add a warning and discard them

audemard