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).