$NetBSD: patch-setup.cfg,v 1.2 2024/01/30 19:24:35 adam Exp $

Relax z3-solver requirement.

--- setup.cfg.orig	2023-06-20 10:17:28.000000000 +0000
+++ setup.cfg
@@ -22,7 +22,7 @@ install_requires = 
 	cachetools
 	decorator
 	pysmt>=0.9.5
-	z3-solver==4.10.2.0
+	z3-solver>=4.10.2.0
 python_requires = >=3.8
 
 [options.extras_require]