Closed yurivict closed 3 years ago
Thanks for reporting, the file seems to have been neglected for a long time. Will add a fix later.
If you want to fix it locally, the line should read
branch(*this, x, INT_VAR_NONE(), INT_VAL_MIN());
Fixed in release/6.3.0 (85e2d67).
Describe the bug
clang-10 fails to compile it:
gecode-6.2.0 clang-10 FreeBSD 12.2