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.