py27-z3 (math/z3) Updated: 1 year, 11 months ago Add to my watchlist

Python 2.7 bindings for the Z3 theorem prover

Python 2.7 bindings for the Z3 SMT solver library from Microsoft Research.

Version: 4.8.17 License: MIT
Maintainers landonf
Categories python
Platforms darwin freebsd
  • universal (Build for multiple architectures)

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)


Requested Installations (30 days)


Livecheck error

Error: Port py27-z3 not found

last updated: 1 day, 3 hours ago