z3-solver

Community

The Z3 Theorem Prover

Versions

To install this package, run one of the following:

$conda install conda-forge::z3-solver

Version

5 / 8 versions selected

Downloads (Last 6 months): 0

Summary

The Z3 Theorem Prover

Last Updated

Feb 19, 2026 at 08:54

License

MIT

Supported Platforms

linux-aarch64

win-64

linux-ppc64le

linux-64

macOS-64

macOS-arm64

Home

GitHub Repository

Documentation