Gecode/gecode
View on GitHub ↗ ★ 339 C++
Generic Constraint Development Environment
6 mentions on Hacker News by 3 people: 0 stories, 6 comments · first 2021-07-21 · latest 2025-11-11
20082026
-
…custom MIP relaxations in a portfolio. For a list of interesting instances to test, see this file: https://github.com/Gecode/gecode/blob/release/6.3.0/examples... I should probably do some benchmarks on that with the standard MiniZinc…
comment by mzl · 2025-11-11 · in Solving Every Sudoku Puzzle (2006) -
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.
comment by mzl · 2025-07-05 · in Gecode is an open source C++ toolkit for developing constraint-based systems (2019) -
there are examples in the repo: https://github.com/Gecode/gecode/tree/master/examples
comment by wavemode · 2025-07-05 · in Gecode is an open source C++ toolkit for developing constraint-based systems (2019) -
see also https://github.com/Gecode/gecode
comment by gjvc · 2025-07-05 · in Gecode is an open source C++ toolkit for developing constraint-based systems (2019) -
…word lengths. As a comparison, see this model solving crosswords using constraint programming. https://github.com/Gecode/gecode/blob/develop/examples/cross...
comment by mzl · 2021-07-21 · in Send+more=money and how to use forward-checking in search -
Here is the send more money puzzle in Gecode: https://github.com/Gecode/gecode/blob/develop/examples/money...
comment by mzl · 2021-07-21 · in Send+more=money and how to use forward-checking in search