Closed rkaminsk closed 1 year ago
Add configuration option to call a propagator's undo function also for decision levels without changes.
Add configuration option to call a propagator's undo function also for decision levels without changes.