{"name":"py314-z3","portdir":"math/z3","version":"4.15.4","license":"MIT","platforms":"{darwin any}","epoch":0,"replaced_by":null,"homepage":"https://github.com/Z3Prover/z3","description":"Python 3.14 bindings for the Z3 theorem prover","long_description":"Python 3.14 bindings for the Z3 SMT solver library from Microsoft Research.","active":true,"categories":["python"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":84}],"variants":["debug"],"dependencies":[{"type":"build","ports":["py314-wheel","py314-build","py314-installer","py314-setuptools","cmake","ninja","clang-20"]},{"type":"lib","ports":["python314","py314-setuptools","z3"]}],"depends_on":[{"type":"lib","ports":["py-z3"]}]}