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.