A package src.devoted to an extension of Choco propagation tool to support explanation
features. For instance, it allows constraint removing thanks to special events or
full incremental algorithms maintaining constraint data structures thanks to
structure maintainer tools.