lint

Author: GermanMT

app/utils/smt/operations/complete_config.py

@@ -1,11 +1,10 @@
-from z3 import Int, Optimize, sat, unknown
-
 from fastapi import status
 from fastapi.responses import JSONResponse
+from z3 import Int, Optimize, sat, unknown
 
+from app.utils import json_encoder
 from app.utils.smt.config_sanitizer import config_sanitizer
 from app.utils.smt.model import SMTModel
-from app.utils import json_encoder
 
 
 async def execute_complete_config(model: SMTModel, config: dict[str, int]) -> JSONResponse:

app/utils/smt/operations/config_by_impact.py

@@ -1,11 +1,10 @@
-from z3 import Abs, Optimize, sat, unknown
-
 from fastapi import status
 from fastapi.responses import JSONResponse
+from z3 import Abs, Optimize, sat, unknown
 
+from app.utils import json_encoder
 from app.utils.smt.config_sanitizer import config_sanitizer
 from app.utils.smt.model import SMTModel
-from app.utils import json_encoder
 
 
 async def execute_config_by_impact(model: SMTModel, impact: int) -> JSONResponse:

app/utils/smt/operations/filter_configs.py

@@ -1,11 +1,10 @@
-from z3 import And, Or, Solver, sat, unknown
-
 from fastapi import status
 from fastapi.responses import JSONResponse
+from z3 import And, Or, Solver, sat, unknown
 
+from app.utils import json_encoder
 from app.utils.smt.config_sanitizer import config_sanitizer
 from app.utils.smt.model import SMTModel
-from app.utils import json_encoder
 
 
 async def execute_filter_configs(model: SMTModel, max_threshold: float, min_threshold: float, limit: int) -> JSONResponse:

app/utils/smt/operations/maximize_impact.py

@@ -1,11 +1,10 @@
-from z3 import Optimize, Or, sat, unknown
-
 from fastapi import status
 from fastapi.responses import JSONResponse
+from z3 import Optimize, Or, sat, unknown
 
+from app.utils import json_encoder
 from app.utils.smt.config_sanitizer import config_sanitizer
 from app.utils.smt.model import SMTModel
-from app.utils import json_encoder
 
 
 async def execute_maximize_impact(model: SMTModel, limit: int) -> JSONResponse:

app/utils/smt/operations/minimize_impact.py

@@ -1,11 +1,10 @@
-from z3 import Optimize, Or, sat, unknown
-
 from fastapi import status
 from fastapi.responses import JSONResponse
+from z3 import Optimize, Or, sat, unknown
 
+from app.utils import json_encoder
 from app.utils.smt.config_sanitizer import config_sanitizer
 from app.utils.smt.model import SMTModel
-from app.utils import json_encoder
 
 
 async def execute_minimize_impact(model: SMTModel, limit: int) -> JSONResponse:
@@ -31,7 +30,7 @@ async def execute_minimize_impact(model: SMTModel, limit: int) -> JSONResponse:
         result = ""
         code = "smt_timeout"
     else:
-        code = "operation_success"   
+        code = "operation_success"
     return JSONResponse(
         status_code=status.HTTP_200_OK, content=json_encoder(
             {

app/utils/smt/operations/valid_config.py

@@ -1,10 +1,9 @@
-from z3 import Int, Solver, sat, unknown
-
 from fastapi import status
 from fastapi.responses import JSONResponse
+from z3 import Int, Solver, sat, unknown
 
-from app.utils.smt.model import SMTModel
 from app.utils import json_encoder
+from app.utils.smt.model import SMTModel
 
 
 async def execute_valid_config(model: SMTModel, config: dict[str, int]) -> JSONResponse:

app/utils/smt/operations/valid_graph.py

@@ -1,10 +1,9 @@
-from z3 import Solver, sat, unknown
-
 from fastapi import status
 from fastapi.responses import JSONResponse
+from z3 import Solver, sat, unknown
 
-from app.utils.smt.model import SMTModel
 from app.utils import json_encoder
+from app.utils.smt.model import SMTModel
 
 
 async def execute_valid_graph(model: SMTModel) -> JSONResponse: