A package src.devoted to explanation based search. It offers specialized branching tools, and a default sollving algorithm based on mac-dbt.