Merge pull request #5 from potassco/core_fix

Added return value to simplify

src/clingexplaid/mus/core_computer.py

@@ -75,12 +75,15 @@ def _compute_single_minimal(self, assumptions: Optional[AssumptionSet] = None) -
 
         return mus_members
 
-    def shrink(self, assumptions: Optional[AssumptionSet] = None) -> None:
+    def shrink(self, assumptions: Optional[AssumptionSet] = None) -> AssumptionSet:
         """
         This function applies the unsatisfiable subset minimization (`self._compute_single_minimal`) on the assumptions
         set `assumptions` and stores the resulting MUS inside `self.minimal`.
+
+        Returns the MUS as a set of assumptions.
         """
         self.minimal = self._compute_single_minimal(assumptions=assumptions)
+        return self.minimal
 
     def get_multiple_minimal(self, max_mus: Optional[int] = None) -> Generator[AssumptionSet, None, None]:
         """