added visual updates during automatic solving