Merge branch 'Dev' into main

AbductiveLearning · Jan 9, 2024 · c62d0d5 · c62d0d5
2 parents 12d8768 + 5b3fce3
commit c62d0d5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/ablkit/reasoning/reasoner.py b/ablkit/reasoning/reasoner.py
@@ -258,8 +258,8 @@ def zoopt_score(
 
     def zoopt_budget(self, symbol_num: int) -> int:
         """
-        Set the budget for ZOOpt optimization. The budget can be dynamic relying on 
-        the number of symbols considered, e.g., the default implementation shown below. 
+        Set the budget for ZOOpt optimization. The budget can be dynamic relying on
+        the number of symbols considered, e.g., the default implementation shown below.
         Alternatively, it can be a fixed value, such as simply setting it to 100.
 
         Parameters