trying a thing on windows

a16z · Jan 18, 2025 · fd6cdf7 · fd6cdf7
1 parent 2816ed5
commit fd6cdf7
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/halmos/config.py b/src/halmos/config.py
@@ -441,7 +441,7 @@ class Config:
 
     solver_command: str = arg(
         help="use the given command when invoking the solver",
-        global_default="z3",
+        global_default="z3.exe" if os.name == "nt" else "z3",
         metavar="COMMAND",
         group=solver,
     )