A constraint solver for Ruby - View it on GitHub