A possible improvement of the Gecode solver, done for my master thesis.
Gecode packages (source, Apple MacOS, Microsoft Windows) can be downloaded from GitHub or Gecode's webpages.
Gecode is licensed under the MIT license.
zayenz/gecode-dexter
A possible improvement of the Gecode solver. Done for my master thesis.
C++NOASSERTION