Model analysis and transformation, symmetry detection and breaking, constraint model debugging and profiling.