A package src.devoted to e-tools - an explanation-based solver and all the needed tools. Such explanations provide information about all the decisions taken by the solver. This is useful for user interaction and for intelligent backtracking algorithms. The API is very similar to the usual Choco API.