{'fraction_non_alphanumeric': 0.013392857142857142, 'fraction_numerical': 0.0, 'mean_word_length': 6.126984126984127, 'pattern_counts': {'":': 0, '<': 0, '<?xml version=': 0, '>': 0, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
Explanations for global constraints : instrumenting the stretch constraint

This article presents an extension of the stretch constraint for explanationbased solvers and algorithms. This extension implies the computation of precise explanations in order to justify all the decisions the filtering algorithm makes: value removals, domain reductions or contradiction. Experiments show a distinct improvement when using explanations to improve search.