1 Commits (b9c368a9c3146a9b4b7b387bbd4fba4c80b8e3b7)

Author SHA1 Message Date
Nils Adermann 9641ad6025 SolverProblemException: Hide learnt rules on output
Results in too much error output which is not helpful. Very repetitive
and hard to understand. In issue 8903 even leads to endless recursion
bug.
4 years ago