RSolve (hackage): A general solver for equations
Keywords: library|logic|mit|program|unification|logic-programming|solvers