One way ref symmetry breaking.
Some optimizations for ref symmetry breaking.
Optimized the symmetry breaking propagator.
Changed analysis to be mutable.
Faster propagator for symmetry breaking.
Do analysis to detect which references do not need breaking, since uneccessary symmetry breaking is expensive.
Fixed symmetry breaking over abstracts.
Break target refs by counting.
PropFind
Improved efficiency against randomized test.
Break target refs.
Coalesce integer variables.
Explicitly eliminate common cardinality subexpressions.