Analysis and visualization tools for constraint programming : constraint debugging - Deransart, Pierre, 1945-; Hermenegildo, Manuel de, 1959-; Małuszyński, Jan, 1941- (Lecture notes in computer science, 2000)