gecode

gecode copied to clipboard

**Describe the bug** A simple nooverlap instruction for 12 (X,Y) coordinates on 10x10 matrix hangs. **To Reproduce** Testcase that hangs: [testcase-nooverlap.cpp.txt](https://github.com/Gecode/gecode/files/7945216/testcase-nooverlap.cpp.txt) If N in the above testcase is changed from...

yurivict

It isn't clear from the 'check' target that the check succeeded

1

**Describe the bug** It ends with: ``` Set::RelOp::ConstSSI::Union::Sup::0 ++ Set::RelOp::ConstSSI::Union::Sub::2 ++ Set::RelOp::ConstSSI::Union::Nq::2 ++ Set::RelOp::ConstSSI::Union::Sup::2 ++ Set::Dom::Dom::Gr::2 ++ ``` **Suggested solution** It should print: ```Checks succeeded```.

yurivict

nooverlap: zero-sized rectangles overlap contrary to what documentation says

1

**Describe the bug** The documentation says about ```nooverlap```: > Note that the width or the height of a rectangle can be zero. In this case, the rectangle does not occupy...

yurivict

Or-ing of booleans with BoolExpr causes SEGV

1

**Describe the bug** This code pattern: ``` BoolExpr sum; sum = sum || (var1 && var2); sum = sum || (var3 && var4); rel(*this, sum); ``` always causes crash: ```...

yurivict

**Describe the bug** This is about the website: https://www.gecode.org/ In the middle of the page you see > _(it implements more than 70 constraints from the [Global Constraint Catalog](http://www.emn.fr/z-info/sdemasse/gccat/) and...

dtonhofer

c++20 warnings in 6.3.0

1

clang-11 on FreeBSD 13 prints these warnings: ``` In file included from /usr/local/include/gecode/minimodel.hh:51: In file included from /usr/local/include/gecode/float.hh:833: /usr/local/include/gecode/float/val.hpp:296:18: warning: ISO C++20 considers use of overloaded operator '==' (with operand...

yurivict

Autotools installs include/examples

1

**Describe the bug** These files are installed: ``` include/examples/job-shop-instances.hpp include/examples/scowl.hpp ``` with ```--disable examples```. cmake doesn't install them Nothing should be installed into ```include/examples```.

yurivict

6.3.0 autotools build

yurivict

As mentioned in MiniZinc/MiniZincIDE#125, adding the `-s` option to `fzn-gecode` overrides `-mode gist` which is surprising. The best would probably be to make it possible for Gist to also output...

zayenz

The configure code looking for Qt can malfunction in some cases. The following happened during configure ``` checking for moc... moc checking whether to build with Qt support... qmake: could...

zayenz