Ruby wrapper around Gecode, a finite domain constraint solver