{"payload":{"feedbackUrl":"https://github.com/orgs/community/discussions/53140","repo":{"id":45666766,"defaultBranch":"master","name":"gecode","ownerLogin":"Gecode","currentUserCanPush":false,"isFork":false,"isEmpty":false,"createdAt":"2015-11-06T07:33:39.000Z","ownerAvatar":"https://avatars.githubusercontent.com/u/14131143?v=4","public":true,"private":false,"isOrgOwned":true},"refInfo":{"name":"","listCacheKey":"v0:1688452375.0","currentOid":""},"activityList":{"items":[{"before":"b977abc7f82800948273b7879c438d7770c49a54","after":"f7f0d7c273d6844698f01cec8229ebe0b66a016a","ref":"refs/heads/release/6.3.0","pushedAt":"2024-03-15T15:07:32.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Fix typos.","shortMessageHtmlLink":"Fix typos."}},{"before":"4a00bc5c10f0e199e22935092b88f1e14a1e944d","after":"b977abc7f82800948273b7879c438d7770c49a54","ref":"refs/heads/release/6.3.0","pushedAt":"2024-01-29T12:42:57.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Add documentation to gecode.mzn\n\nMiniZinc uses this file to generate the reference documentation","shortMessageHtmlLink":"Add documentation to gecode.mzn"}},{"before":"18170c9d6898e85660b25b6ab5fa405e78018488","after":"4a00bc5c10f0e199e22935092b88f1e14a1e944d","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-14T04:39:43.000Z","pushType":"pr_merge","commitsCount":2,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Add missing check for if restart_data was initialised","shortMessageHtmlLink":"Add missing check for if restart_data was initialised"}},{"before":"f2babad32a71d49332d3dc3ca66e342e6f556fde","after":"18170c9d6898e85660b25b6ab5fa405e78018488","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-06T06:22:46.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"cmake: Remove workaround for pthreads file.","shortMessageHtmlLink":"cmake: Remove workaround for pthreads file."}},{"before":"bc31c318b73b47a085551fc3a6fa70dba89dad28","after":"f2babad32a71d49332d3dc3ca66e342e6f556fde","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-06T05:22:16.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"ci: Build and check with the autoconf build system.","shortMessageHtmlLink":"ci: Build and check with the autoconf build system."}},{"before":"78f6a02a39423e7022a49bb211ddb0febe2a82e3","after":"bc31c318b73b47a085551fc3a6fa70dba89dad28","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-05T05:59:54.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Use std::chrono::steady_clock for timers.\n\nThis improves portability by not using `gettimeofday()` or `clock()`.","shortMessageHtmlLink":"Use std::chrono::steady_clock for timers."}},{"before":"3fb05b3906c755f5361477eee44dea729cb6ecb1","after":"78f6a02a39423e7022a49bb211ddb0febe2a82e3","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-04T20:30:56.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"cmake: Add missing check for `__builtin_popcountll()`.\n\nThe autoconf build system has this already.","shortMessageHtmlLink":"cmake: Add missing check for <code>__builtin_popcountll()</code>."}},{"before":"e243646587ea097d61bdb59df0c1c809c55eb493","after":"3fb05b3906c755f5361477eee44dea729cb6ecb1","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-04T20:30:15.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":".gitignore: Add gecode-gist.msc","shortMessageHtmlLink":".gitignore: Add gecode-gist.msc"}},{"before":"132c9bf241cd667b8c284833ae3546a09caab83e","after":"e243646587ea097d61bdb59df0c1c809c55eb493","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-04T20:30:00.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Update `Makefile.dep`\n\nSome of the tests were still using the deps from the old threads\ncode and so wouldn't compile when using the autoconf build system.\n\nIt also now has the deps for the cumulatives constraint tests for\nMiniZinc.","shortMessageHtmlLink":"Update <code>Makefile.dep</code>"}},{"before":"c0de254eb7b84000182c6cf4e170a61061d24f2e","after":"132c9bf241cd667b8c284833ae3546a09caab83e","ref":"refs/heads/release/6.3.0","pushedAt":"2023-12-04T20:29:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Always use `unordered_map`.\n\n`ext/hash_map` has been deprecated in some compilers that supported\nit and `std::unordered_map` is part of C++11 and we require C++17.","shortMessageHtmlLink":"Always use <code>unordered_map</code>."}},{"before":"3a29c3e0cbc065c44be3ed79277307dafd403106","after":"c0de254eb7b84000182c6cf4e170a61061d24f2e","ref":"refs/heads/release/6.3.0","pushedAt":"2023-11-29T20:34:39.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"cmake: Remove unused checks.\n\nNone of the header checks were used for that and can be removed.\n\nOne was used to check for `sys/time.h` and then enable `gettimeofday()`\nso we can instead just check for the `gettimeofday()` function instead.\n\nRemove unused check for size of `int`.\n\nRemove unused check for `getpagesize()`.\n\nRemove `GECODE_HAS_UNISTD_H` from the config header as it isn't\nused or set by anything (any longer).","shortMessageHtmlLink":"cmake: Remove unused checks."}},{"before":"2e1359e541759f5f1bd0dec5d8aca6b0a8392cc9","after":"3a29c3e0cbc065c44be3ed79277307dafd403106","ref":"refs/heads/release/6.3.0","pushedAt":"2023-11-13T05:18:57.000Z","pushType":"pr_merge","commitsCount":4,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Merge pull request #183 from cyderize/feature/cumulatives\n\nAdd support for the cumulatives constraint for MiniZinc","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1980489891\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Gecode/gecode/issues/183\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Gecode/gecode/pull/183/hovercard\" href=\"https://github.com/Gecode/gecode/pull/183\">#183</a> from cyderize/feature/cumulatives"}},{"before":"3912f904a6b9ebb8abdf964ba5a1000eb94060fc","after":"2e1359e541759f5f1bd0dec5d8aca6b0a8392cc9","ref":"refs/heads/release/6.3.0","pushedAt":"2023-11-10T17:10:58.000Z","pushType":"pr_merge","commitsCount":11,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Merge pull request #158 from fkonvick/release/6.3.0\n\nCleanups and fixes.","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1576029071\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Gecode/gecode/issues/158\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Gecode/gecode/pull/158/hovercard\" href=\"https://github.com/Gecode/gecode/pull/158\">#158</a> from fkonvick/release/6.3.0"}},{"before":"1d619b857ea2b788100332d6c600bdbc4b559648","after":"3912f904a6b9ebb8abdf964ba5a1000eb94060fc","ref":"refs/heads/release/6.3.0","pushedAt":"2023-11-10T17:08:38.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"cmake: Update to require C++17.\n\nIn 19b9ec3b938f52f5ef5feef15c6be417b5b27e36, Guido Tack updated\nthe configure-based build to use C++17 rather than C++11.\n\nWe do the same here now for cmake.\n\nThis requires cmake 3.8 or later as it was 3.8 that added support\nfor C++17.","shortMessageHtmlLink":"cmake: Update to require C++17."}},{"before":"791027f948f5b222352fdf95b929bff2371efb18","after":"1d619b857ea2b788100332d6c600bdbc4b559648","ref":"refs/heads/release/6.3.0","pushedAt":"2023-11-10T17:08:06.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Remove `RBS::shared_info`.\n\nThis was added in 8ee34b115b59a8155588001d915868ebbebc5449 and\nthe code that used it has since been removed. The field was\nno longer being initialized.","shortMessageHtmlLink":"Remove <code>RBS::shared_info</code>."}},{"before":"8d3cdecd72acf0d60570a5f10e058daf69e707f2","after":"791027f948f5b222352fdf95b929bff2371efb18","ref":"refs/heads/release/6.3.0","pushedAt":"2023-11-10T16:31:48.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"ci: Initial use of GitHub Actions.\n\nThis builds via cmake on Linux, macOS, and Windows. It doesn't yet\nbuild the tools that use Qt or run tests.","shortMessageHtmlLink":"ci: Initial use of GitHub Actions."}},{"before":"d1bd8743cebf383bfd78a037b69c5c0133f0fca1","after":"8d3cdecd72acf0d60570a5f10e058daf69e707f2","ref":"refs/heads/release/6.3.0","pushedAt":"2023-09-28T06:49:01.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Fix typos.","shortMessageHtmlLink":"Fix typos."}},{"before":"c32cd81c185ec707e1fecbcd9aa101f88018b58f","after":"d1bd8743cebf383bfd78a037b69c5c0133f0fca1","ref":"refs/heads/release/6.3.0","pushedAt":"2023-08-31T15:32:58.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Correctly unshare variables for div and mod constraints. Fixes #170.","shortMessageHtmlLink":"Correctly unshare variables for div and mod constraints. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #170.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1772698770\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Gecode/gecode/issues/170\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Gecode/gecode/issues/170/hovercard\" href=\"https://github.com/Gecode/gecode/issues/170\">#170</a>."}},{"before":"ecf84ec63699725cf6e45cc76f0878e026816ba2","after":"c32cd81c185ec707e1fecbcd9aa101f88018b58f","ref":"refs/heads/release/6.3.0","pushedAt":"2023-08-31T15:25:31.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Correctly unshare variables for inverse constraint. Fixes #171.","shortMessageHtmlLink":"Correctly unshare variables for inverse constraint. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #171.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1772699367\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Gecode/gecode/issues/171\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Gecode/gecode/issues/171/hovercard\" href=\"https://github.com/Gecode/gecode/issues/171\">#171</a>."}},{"before":"34adb07bb4a288ca49b1f94ef2fe4ab1220fa0a2","after":"ecf84ec63699725cf6e45cc76f0878e026816ba2","ref":"refs/heads/release/6.3.0","pushedAt":"2023-08-31T15:17:26.000Z","pushType":"push","commitsCount":1,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Unshare variables for maximum_arg / minimum_arg constraints. Fixes #169.","shortMessageHtmlLink":"Unshare variables for maximum_arg / minimum_arg constraints. <span class=\"issue-keyword tooltipped tooltipped-se\" aria-label=\"This commit closes issue #169.\">Fixes</span> <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1772697712\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Gecode/gecode/issues/169\" data-hovercard-type=\"issue\" data-hovercard-url=\"/Gecode/gecode/issues/169/hovercard\" href=\"https://github.com/Gecode/gecode/issues/169\">#169</a>."}},{"before":"fc22c40eab54c7abbeed635eccc86481bd47c19f","after":"34adb07bb4a288ca49b1f94ef2fe4ab1220fa0a2","ref":"refs/heads/release/6.3.0","pushedAt":"2023-08-31T14:41:39.000Z","pushType":"push","commitsCount":5,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Check for duplicate variables in compact table, and unshare variables in the FlatZinc interface for table constraints. Fixes #167.","shortMessageHtmlLink":"Check for duplicate variables in compact table, and unshare variables…"}},{"before":"454047efed153d80589b60284b3d961ba433bdcf","after":"275442dbb6b2b6c2b992adabc7e66b2979e9dfc1","ref":"refs/heads/feature/use_std_threads","pushedAt":"2023-07-21T07:12:56.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Optionally use unfair mutex on macOS","shortMessageHtmlLink":"Optionally use unfair mutex on macOS"}},{"before":"c989ee7f62fa723a0a57a342a902cf190428b303","after":"fc22c40eab54c7abbeed635eccc86481bd47c19f","ref":"refs/heads/release/6.3.0","pushedAt":"2023-07-17T06:37:55.000Z","pushType":"pr_merge","commitsCount":6,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Merge pull request #174 from Dekker1/feature/on_restart2\n\nOn Restart Meta Search","shortMessageHtmlLink":"Merge pull request <a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1781945475\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Gecode/gecode/issues/174\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Gecode/gecode/pull/174/hovercard\" href=\"https://github.com/Gecode/gecode/pull/174\">#174</a> from Dekker1/feature/on_restart2"}},{"before":"bb380c05bc6038de944ab3b752149f31402688fa","after":"cb3afa1b964af839deb84dbc881552827a840ab9","ref":"refs/heads/feature/on_restart2_nary_lastval_int","pushedAt":"2023-07-04T06:36:28.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Use nary last-val recorders for integer vriables","shortMessageHtmlLink":"Use nary last-val recorders for integer vriables"}},{"before":null,"after":"bb380c05bc6038de944ab3b752149f31402688fa","ref":"refs/heads/feature/on_restart2_nary_lastval_int","pushedAt":"2023-07-04T06:32:55.000Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Use nary last-val recorders for integer vriables","shortMessageHtmlLink":"Use nary last-val recorders for integer vriables"}},{"before":"603cc57f055cc76621d3168ddb1879c7bd7bb513","after":"454047efed153d80589b60284b3d961ba433bdcf","ref":"refs/heads/feature/use_std_threads","pushedAt":"2023-06-29T08:48:18.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Replace platform specific thread code with C++ threads","shortMessageHtmlLink":"Replace platform specific thread code with C++ threads"}},{"before":"7341c6e23dd6ef33cbcf5ab7ffa3e5a710ad7d8f","after":"603cc57f055cc76621d3168ddb1879c7bd7bb513","ref":"refs/heads/feature/use_std_threads","pushedAt":"2023-06-29T07:02:25.000Z","pushType":"force_push","commitsCount":0,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Replace platform specific thread code with C++ threads","shortMessageHtmlLink":"Replace platform specific thread code with C++ threads"}},{"before":null,"after":"7341c6e23dd6ef33cbcf5ab7ffa3e5a710ad7d8f","ref":"refs/heads/feature/use_std_threads","pushedAt":"2023-06-07T03:29:01.081Z","pushType":"branch_creation","commitsCount":0,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Replace platform specific thread code with C++ threads","shortMessageHtmlLink":"Replace platform specific thread code with C++ threads"}},{"before":"0ee37ee67b831a0636ec77f166fd316c938e2eba","after":"c989ee7f62fa723a0a57a342a902cf190428b303","ref":"refs/heads/release/6.3.0","pushedAt":"2023-04-20T07:26:58.000Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"zayenz","name":"Mikael Zayenz Lagerkvist","path":"/zayenz","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/245350?s=80&v=4"},"commit":{"message":"Add optional support for MPFR when building using CMake (#163)\n\nThis commit makes some changes to the CMake configuration to allow building with MPFR. Building with MPFR is automatically enabled when detected, but can be disabled using the standard cmake definitions: cmake -DCMAKE_DISABLE_FIND_PACKAGE_MPFR=TRUE <other flags...>","shortMessageHtmlLink":"Add optional support for MPFR when building using CMake (<a class=\"issue-link js-issue-link\" data-error-text=\"Failed to load title\" data-id=\"1667386339\" data-permission-text=\"Title is private\" data-url=\"https://github.com/Gecode/gecode/issues/163\" data-hovercard-type=\"pull_request\" data-hovercard-url=\"/Gecode/gecode/pull/163/hovercard\" href=\"https://github.com/Gecode/gecode/pull/163\">#163</a>)"}},{"before":"9d132a31688dba7b05d606a1461e01295a69c773","after":"0ee37ee67b831a0636ec77f166fd316c938e2eba","ref":"refs/heads/release/6.3.0","pushedAt":"2023-03-30T03:55:15.177Z","pushType":"pr_merge","commitsCount":1,"pusher":{"login":"guidotack","name":"Guido Tack","path":"/guidotack","primaryAvatarUrl":"https://avatars.githubusercontent.com/u/10411596?s=80&v=4"},"commit":{"message":"Set CMake OpenGL policy to produce Gecode Gist binaries which can be bundled\n\nMakes linking with OpenGL for Gist match how `qmake` does it.\n\nWithout this change, when built on systems with GLVND, most bundlers will not include the required OpenGL libraries.","shortMessageHtmlLink":"Set CMake OpenGL policy to produce Gecode Gist binaries which can be …"}}],"hasNextPage":true,"hasPreviousPage":false,"activityType":"all","actor":null,"timePeriod":"all","sort":"DESC","perPage":30,"cursor":"djE6ks8AAAAEFsx0CwA","startCursor":null,"endCursor":null}},"title":"Activity · Gecode/gecode"}