Conflict refiner

Constants (for example, A = 10) have been logged as the conflicting bound (for example, A <= 10) in the linear constraints of the conflict refiner output (SubProblemXLog.txt). This obscures the relation with the original class model where the constraint is an equality. This has been improved. Constants are now logged as equalities in the conflict refiner output of the SubProblemXLog.txt log file.

Note: By default, this feature is enabled. A new role or privilege is not required to access this feature.