A copy of the old http://gecoder.rubyforge.org/ svn repo (this code is unmaintained and not compatible with the latest versions of Gecode) - View it on GitHub