Solver debugging.