From 71deed9919d9a9a715daaaa1948885a051293cd3 Mon Sep 17 00:00:00 2001
From: karmacoma <karma@coma.lol>
Date: Fri, 17 Jan 2025 16:54:12 -0800
Subject: [PATCH] try specifying full path to z3

---
 src/halmos/config.py | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/src/halmos/config.py b/src/halmos/config.py
index e7f10381..c1f89396 100644
--- a/src/halmos/config.py
+++ b/src/halmos/config.py
@@ -1,6 +1,7 @@
 import argparse
 import os
 import re
+import shutil
 import sys
 from collections import OrderedDict
 from collections.abc import Callable, Generator
@@ -441,7 +442,7 @@ class Config:
 
     solver_command: str = arg(
         help="use the given command when invoking the solver",
-        global_default="z3.exe" if os.name == "nt" else "z3",
+        global_default=shutil.which("z3"),
         metavar="COMMAND",
         group=solver,
     )