Package model.computation

Class Summary
CalculMUS This class is the core class to compute a MUS.
CalculShapley This class is the core class to compute Shapley values associated to formulae of the base
TestCalculeMUS