Systematic testing, semi-automatic model improvement, symmetry detection and breaking, constraint model debugging and profiling.