2 Commits (811dfd3a136ff482c6d84fd19e6545bd76b60804)

Author	SHA1	Message	Date
Viktor Szépe	8728a75930	Fix typos (#12133)	2024-10-02 12:28:32 +02:00
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