z3-solver 4.16.0
math/py-z3-solver
Python binding for Z3 Theorem Prover
Description
Python binding for Z3, a high-performance theorem prover developed at Microsoft Research.
Dependencies
- build devel/cmake-core
- build devel/ninja
- build lang/python311
- lib math/z3
- run lang/python311
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.