This port has been deleted. This page will exist till another port with the name "py27-z3" comes
into existence.
py27-z3 (math/z3) Updated: 1 year, 9 months ago Add to my watchlist
Python 2.7 bindings for the Z3 theorem proverPython 2.7 bindings for the Z3 SMT solver library from Microsoft Research.
Version: 4.8.17 License: MIT| Maintainers | landonf |
| Categories | python |
| Homepage | https://github.com/Z3Prover/z3 |
| Platforms | darwin freebsd |
| Variants |
|
Subport(s) (10)
"py27-z3" depends on
lib (2)
build (3)
Ports that depend on "py27-z3"
No ports
Port Health:
Loading Port Health
Installations (30 days)
0
Requested Installations (30 days)
0
Livecheck error
Error: Port py27-z3 not found
last updated: 1 day, 3 hours ago