SMS dit: The calculus problem solver :