solver debug +handbook
