added an automated solver