Package request: z3-solver

[vlulla]

Package name

z3

Package version

Newest

Package website

https://github.com/Z3Prover/z3

Package availability

From https://github.com/Z3Prover/z3?tab=readme-ov-file#python it appears that the package is available on pypi.

Additional comments

The package is available using a custom channel at https://anaconda.org/asmeurer/z3. However, it would be great if this package was available on conda-forge.

Package is not available

• [X] The package is not available on conda-forge.

No previous issues or open PRs

• [X] No previous issue exists and no PR has been opened.