The math/z3 port
z3-4.5.0 – z3 theorem prover
Description
The Z3 Theorem Prover.
WWW:
https://github.com/Z3Prover/z3
Categories:
lang/python
math
Library dependencies
Build dependencies
lang/python/2.7
Run dependencies
lang/python/2.7