Text this: Analysis and visualization tools for constraint programming :