Constraint model debugging and profiling.