z3 4.16.0.0
math/z3
Z3 Theorem Prover
Description
Z3 is a high-performance theorem prover developed at Microsoft Research.
Dependencies
- build devel/cmake-core
- build devel/ninja
Commit History
may be incomplete — full history at freebsd-ports on GitHub
Loading commit history — this may take up to a minute on first view. Reload the page in a moment.