The mechanics problem solver