{"name":"z3-java","portdir":"math/z3","version":"4.15.4","license":"MIT","platforms":"darwin freebsd","epoch":0,"replaced_by":null,"homepage":"https://github.com/Z3Prover/z3","description":"Java bindings for the Z3 theorem prover","long_description":"Java bindings for the Z3 SMT solver library from Microsoft Research.","active":true,"categories":["science","java","math"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":83}],"variants":["debug","universal"],"dependencies":[{"type":"build","ports":["cmake","ninja","clang-20"]},{"type":"lib","ports":["openjdk11","z3"]}],"depends_on":[]}