py39-z3 (math/z3) Updated: 2 months ago Add to my watchlist

Python 3.9 bindings for the Z3 theorem prover

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

Version: 4.15.3 License: MIT

GitHub

Maintainers	landonf
Categories	python
Homepage	https://github.com/Z3Prover/z3
Platforms	{darwin any}
Variants	debug (Enable debug binaries)

Subport(s) (11)

py27-z3

py310-z3

py311-z3

py312-z3

py37-z3

py38-z3

py-z3

z3-fstar

z3-fstar-legacy

z3-java

"py39-z3" depends on

lib (3)

py39-setuptools

python39

build (7)

clang-20

cmake

ninja

py39-build

py39-installer

py39-setuptools

py39-wheel

Ports that depend on "py39-z3"

No ports

Port Health:

Loading Port Health

Installations (30 days)

0

Requested Installations (30 days)

0

Livecheck results

py39-z3 seems to have been updated (port version: 4.15.3, new version: 4.15.4)

livecheck ran: 22 hours ago

py39-z3 (math/z3) Updated: 2 months ago Add to my watchlist 0