7 months ago
Gecode won the minizinc challenges from inception of the challenge in 2008 until 2012, but these days or-tools wins gold every year 2013 to 2024, and in 2024 swept gold in all categories.
Why is gecode interesting? Why use it over or-tools?
7 months ago
Interesting, but why post it? Nothing seems to have been committed/updated in about 6 years. There are a number of PRs outstanding. Is it still in use?
The forum implies that not much maintenance happened after the passing of the primary contributor, even if there were good intentions.
Are there other constraint solvers which have subsumed this one?
7 months ago
I did not know Christian Schulte had passed away! That is sad news that reaches me now five years on from his passing.
https://intra.kth.se/en/eecs/nyheter/in-memory-of-christian-...
I met Christian at a conference in Lund back in 2005 as I was doing my master thesis within the constraint programming area. He came across as both very knowledgeable and very kind and caring. RIP Christian.
7 months ago
A short C++ example of gecode in use on their home page would be real nice.
7 months ago
Adding to wavemode, the Sudoku example is a good starting point: https://github.com/Gecode/gecode/blob/master/examples/sudoku...
In the documentation (https://www.gecode.org/doc-latest/MPG.pdf) there are a lot of worked examples as well.
7 months ago
there are examples in the repo: https://github.com/Gecode/gecode/tree/master/examples
7 months ago
see also https://github.com/Gecode/gecode
7 months ago
Note, the release/6.3.0 branch is the current release.
7 months ago
7 months ago
[flagged]
7 months ago
[flagged]
7 months ago
[flagged]
7 months ago
[flagged]
7 months ago
[flagged]
7 months ago
For some reason I pictured this software as a system for developing memory or CPU constrained software. Like granting only 1 mb of memory and maybe having functions executed in a certain number of "clock ticks"