1
0
Fork 0
Commit Graph

1 Commits (91a0a4c7d8a87e6a27b356d9bb5f881e525a97aa)

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.
2020-10-21 14:08:12 +02:00