py-z3 (math/z3) Updated: 4 months, 3 weeks ago Add to my watchlist

Python bindings for the Z3 theorem prover

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

Version: 4.13.0 License: MIT GitHub
Maintainers landonf
Categories python
Homepage https://github.com/Z3Prover/z3
Platforms any
Variants

Subport(s) (10)


"py-z3" depends on

lib (2)
build (3)

Ports that depend on "py-z3"

No ports


Port Health:

Loading Port Health

Installations (30 days)

1

Requested Installations (30 days)

1

Livecheck results

py-z3 seems to have been updated (port version: 4.13.0, new version: 4.13.3)

livecheck ran: 1 day, 11 hours ago