small modifications to solver view