Skip to content

Small fixes

Tim Luchterhand requested to merge small_fixes into master

Up until now the event "conflict encountered" was only called when backjumping was enabled. In my opinion, it should be called regardless of clause learning This MR also includes some other minor fixes

Merge request reports