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