{"name":"z3","portdir":"math/z3","version":"4.15.4","license":"MIT","platforms":"darwin freebsd","epoch":0,"replaced_by":null,"homepage":"https://github.com/Z3Prover/z3","description":"Z3 Theorem Prover","long_description":"High performance SMT solver from Microsoft Research.","active":true,"categories":["science","math"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":84}],"variants":["debug","lto","gmp","native","profile","threads","polly","polly_late","polly_two_level_tiling","polly_vector","polly_parallel","universal"],"dependencies":[{"type":"build","ports":["cmake","ninja","bash","python313","clang-20"]},{"type":"extract","ports":["xz"]}],"depends_on":[{"type":"lib","ports":["py27-z3","solidity","py37-z3","root6","py38-z3","py39-z3","ispc-clang","py-z3","py310-z3","py311-z3","py312-z3","py313-z3","py314-z3","z3-java"]}]}