A constraint solver for Ruby