gecode

gecode copied to clipboard

Complete build options for Pthread API

1

Would you like to add the configuration script “[AX_PTHREAD](https://www.gnu.org/software/autoconf-archive/ax_pthread.html "How to build C programs using POSIX threads")” to [your build specification](https://github.com/Gecode/gecode/blob/e6abc78e625380c433be20d0e115d1074cf5246b/gecode.m4#L1480 "Update candidate")?

elfring

Memory leak with INT_VAR_RND(..)

1

If one runs the program attached below, valgrind reports the data associated with the 'rndLocal' object as 'definitely lost'. Unfortunately I do not have the time to scan the issue...

k0stjap

When building the examples using the CMake files, all examples are always built. This can be compared with the Makefile build, where examples are divided up into groups depending on...

zayenz

In the [registry function](https://github.com/Gecode/gecode/blob/87a464b9d7d67616c1b4c6b98600d38a782d014b/gecode/flatzinc/registry.cpp#L1210) for `gecode_cumulatives` the case where the tasks may have zero-length duration and the bound is not assigned is currently decomposed into basic constraints. An alternative re-write...

zayenz

The [`gecode_cumulatives`](https://github.com/Gecode/gecode/blob/develop/gecode/flatzinc/mznlib/fzn_cumulative.mzn#L40) MiniZinc constraint is used for implementing `fzn_cumulative`. The [registry post function](https://github.com/Gecode/gecode/blob/87a464b9d7d67616c1b4c6b98600d38a782d014b/gecode/flatzinc/registry.cpp#L1210) does a lot of inspection of the arguments, posting different variants of the constraint. This requires first...

zayenz

In Gecode, many [scheduling constraints](https://www.gecode.org/doc-latest/reference/group__TaskModelIntScheduling.html) constraints take a triple of `start`, `duration`, and `end` variables for each task, while the coresponding constraints in MiniZinc work with only a `start` and...

zayenz

Shared libraries lost versions in 6.2.0

1

For example: ``` lib/libgecodeset.so lib/libgecodeset.so.%%SHLIB_VERSION%% lib/libgecodeset.so.%%SHLIB_VERSION%%.0 lib/libgecodesupport.so lib/libgecodesupport.so.%%SHLIB_VERSION%% lib/libgecodesupport.so.%%SHLIB_VERSION%%.0 ``` became ``` lib/libgecodeset.so lib/libgecodesupport.so ```

yurivict

Flatzinc float_times leads to unsatisfiable model

1

Gecode 6.0.1 (and possibly previous versions) indicate that the following FlatZinc model is unsatisfiable even though it clearly shouldn't be (V14=0.288, V29=0.0864, V30=0.01728). ``` float: C1 = 0.8; float: C2...

anton3s

Fix CMake package discovery and streamline library setup.

2

- Resolved CMake package discovery issue for external projects. - Refactored library setup for improved modularity and organization. - Enhanced installation process with proper targets. - Added support for C++17...

Priyanka328

6.2.0: build fails with gcc 14.x

1

Looks like last version build fails with latest gcc 14.x which is now used in fedora rawhide. Build fails with ```console [tkloczko@pers-jacek gecode-release-6.2.0]$ make -k make[1]: Entering directory '/home/tkloczko/rpmbuild/BUILD/gecode-release-6.2.0' make[1]:...

kloczek