Description

Reflection determines whether to handle reflection operators soundly, which is currently rather slow since it causes constraint to be generated during solving proportional to the number of constraint variables, which has not yet been reduced by presolver optimisation.