You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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
The package is not available on conda-forge.
No previous issues or open PRs
No previous issue exists and no PR has been opened.
The text was updated successfully, but these errors were encountered:
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
No previous issues or open PRs
The text was updated successfully, but these errors were encountered: