{"name":"z3-fstar-legacy","portdir":"math/z3","version":"4.8.5","license":"MIT","platforms":"darwin freebsd","epoch":0,"replaced_by":null,"homepage":"https://github.com/Z3Prover/z3","description":"Legacy F*-qualified release of the Z3 Theorem Prover","long_description":"Private version of the Z3 Theorem Prover for use by (and qualified to work with) F* (legacy version).","active":true,"categories":["science","math"],"maintainers":[{"name":"landonf","github":"landonf","ports_count":84}],"variants":["debug","pgo","lto","gmp","native","profile","polly","polly_late","polly_two_level_tiling","polly_vector","polly_parallel","universal"],"dependencies":[{"type":"build","ports":["bash","cmake","ninja","clang-22","python313","py313-setuptools"]},{"type":"extract","ports":["xz"]}],"depends_on":[{"type":"run","ports":["z3-fstar"]}]}