A possible improvement of the Gecode solver, done for my master thesis. The final thesis report can be found here

Example usage:

minizinc -s --solver dexter -p numthreads --fzn-flags "--use-pbs" mznfile dznfile

Gecode packages (source, Apple MacOS, Microsoft Windows) can be downloaded from GitHub or Gecode's webpages.

Gecode is licensed under the MIT license.