diff --git a/src/jsi/cli.py b/src/jsi/cli.py
index 2b8c43e..f0d9426 100644
--- 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,