Fix the constraint logging now we offer a choice of solvers.