I really don't think Ruby is a good match... Maybe something Lispy or Prology, but no idea how to match the symbolic solver runtime with the Ruby language (without tons of boilerplate).

Python makes way more sense to me than ruby