Analysis and visualization tools for constraint programming constraint debugging (Springer, 2000)