diff --git a/test_regress/driver.pl b/test_regress/driver.pl
index 9545eedeb..3357b5091 100755
--- a/test_regress/driver.pl
+++ b/test_regress/driver.pl
@@ -1606,6 +1606,20 @@ sub cmake_version {
     return version->declare($cmake_version);
 }
 
+our $_have_solver = undef;
+sub have_solver {
+    if (!defined($_have_solver)) {
+        my $ok = `(z3 --help || cvc5 --help || cvc4 --help) 2>/dev/null`;
+        $ok ||= "";
+        if ($ok =~ /usage/i) {
+            $_have_solver = 1;
+        } else {
+            $_have_solver = 0;
+        }
+    }
+    return $_have_solver;
+}
+
 our $_aslr_off = undef;
 sub aslr_off {
     if (!defined($_aslr_off)) {
diff --git a/test_regress/t/t_constraint.pl b/test_regress/t/t_constraint.pl
index 11d21fc86..e90393bab 100755
--- a/test_regress/t/t_constraint.pl
+++ b/test_regress/t/t_constraint.pl
@@ -10,14 +10,17 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
 
 scenarios(simulator => 1);
 
-compile(
-    verilator_flags2 => ['-Wno-CONSTRAINTIGN'],
-    );
-
-execute(
-    check_finished => 1,
-    );
+if (!$Self->have_solver) {
+    skip("No constraint solver installed");
+} else {
+    compile(
+        verilator_flags2 => ['-Wno-CONSTRAINTIGN'],
+        );
 
+    execute(
+        check_finished => 1,
+        );
+}
 
 ok(1);
 1;
diff --git a/test_regress/t/t_constraint_mode.pl b/test_regress/t/t_constraint_mode.pl
index 11d21fc86..e90393bab 100755
--- a/test_regress/t/t_constraint_mode.pl
+++ b/test_regress/t/t_constraint_mode.pl
@@ -10,14 +10,17 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
 
 scenarios(simulator => 1);
 
-compile(
-    verilator_flags2 => ['-Wno-CONSTRAINTIGN'],
-    );
-
-execute(
-    check_finished => 1,
-    );
+if (!$Self->have_solver) {
+    skip("No constraint solver installed");
+} else {
+    compile(
+        verilator_flags2 => ['-Wno-CONSTRAINTIGN'],
+        );
 
+    execute(
+        check_finished => 1,
+        );
+}
 
 ok(1);
 1;
diff --git a/test_regress/t/t_constraint_operators.pl b/test_regress/t/t_constraint_operators.pl
index e45199a00..c4618c2fd 100755
--- a/test_regress/t/t_constraint_operators.pl
+++ b/test_regress/t/t_constraint_operators.pl
@@ -10,13 +10,16 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
 
 scenarios(simulator => 1);
 
-compile(
-    );
-
-execute(
-    check_finished => 1,
-    );
+if (!$Self->have_solver) {
+    skip("No constraint solver installed");
+} else {
+    compile(
+        );
 
+    execute(
+        check_finished => 1,
+        );
+}
 
 ok(1);
 1;
diff --git a/test_regress/t/t_randomize_method_constraints.pl b/test_regress/t/t_randomize_method_constraints.pl
index aabcde63e..8cec08c6a 100755
--- a/test_regress/t/t_randomize_method_constraints.pl
+++ b/test_regress/t/t_randomize_method_constraints.pl
@@ -10,12 +10,16 @@ if (!$::Driver) { use FindBin; exec("$FindBin::Bin/bootstrap.pl", @ARGV, $0); di
 
 scenarios(simulator => 1);
 
-compile(
-    );
+if (!$Self->have_solver) {
+    skip("No constraint solver installed");
+} else {
+    compile(
+        );
 
-execute(
-    check_finished => 1,
-    );
+    execute(
+        check_finished => 1,
+        );
+}
 
 ok(1);
 1;