added debugging and solver names