This package src.contains generic interfaces and classes for storing and managing explanations. An explanation is set of constraintts responsible for an inference (value withdrawal, bound modification...)