From 0e80ce9a91ce1173cfaa05de763fc8f6024655f5 Mon Sep 17 00:00:00 2001 From: Roman Andriushchenko Date: Thu, 14 Nov 2024 17:43:34 +0100 Subject: [PATCH] fix AR termination for feasibility specifications --- paynt/synthesizer/synthesizer_ar.py | 2 ++ 1 file changed, 2 insertions(+) diff --git a/paynt/synthesizer/synthesizer_ar.py b/paynt/synthesizer/synthesizer_ar.py index 1af7788c..b69d381b 100644 --- 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)