Debugging solver