fix AR termination for feasibility specifications

randriu · Nov 14, 2024 · 0e80ce9 · 0e80ce9
1 parent 31ec5d7
commit 0e80ce9
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/paynt/synthesizer/synthesizer_ar.py b/paynt/synthesizer/synthesizer_ar.py
@@ -113,6 +113,8 @@ def synthesize_one(self, family):
             family = families.pop(-1)
             self.verify_family(family)
             self.update_optimum(family)
+            if not self.quotient.specification.has_optimality and self.best_assignment is not None:
+                break
             # break
             if family.analysis_result.can_improve is False:
                 self.explore(family)