The MacPorts Project currently distributes 23484 ports, organized across 89 different categories and available below for viewing. This form allows you to search the MacPorts software index, last updated on 2019-11-12 at 18:48:53 UTC.
Or view the complete ports list (23484 ports).
1 Portfile Selected
- z3 4.8.6 (source)
- Z3 Theorem Prover
Maintained by: landonf landonf openmaintainer
Categories: math science
Platforms: darwin freebsd
Dependencies: cmake bash clang-8.0 gmp ninja python27
Variants: debug gmp lto native polly polly_late polly_parallel polly_two_level_tiling polly_vector threads universal