only run available solvers

a16z · Oct 29, 2024 · ca81f8a · ca81f8a
1 parent 3bdbb76
commit ca81f8a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/jsi/cli.py b/src/jsi/cli.py
@@ -285,7 +285,7 @@ def main(args: list[str] | None = None) -> int:
     # build the commands to run the solvers
     # run the solvers in the specified sequence, or fallback to the default order
     defs = solver_definitions
-    enabled_solvers = [solver for solver in defs if defs[solver].enabled]
+    enabled_solvers = [solver for solver in available_solvers if defs[solver].enabled]
 
     commands: list[Command] = base_commands(
         config.sequence or enabled_solvers,