Add automatic solution checking.