z3-solver
This package is deprecated. PyPI now publishes newer versions of this package for riscv64, and we will no longer maintain this package. Please use the version from PyPI instead.
If you need a specific version between the latest available here and the first available on PyPI, please open an Issue and select
Package build request.
Source code: https://github.com/Z3Prover/z3
pip install z3-solver --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: https://gitlab.com/riseproject/python/wheel_builder/-/packages/62336121
Patch applied for this version: https://gitlab.com/riseproject/python/wheel_builder/-/tree/main/wheel_builder/z3/patches/z3-4.16.0
pip install z3-solver==4.15.8.0 --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: https://gitlab.com/riseproject/python/wheel_builder/-/packages/62336112
Patch applied for this version: https://gitlab.com/riseproject/python/wheel_builder/-/tree/main/wheel_builder/z3/patches/z3-4.15.8
pip install z3-solver==4.15.4.0 --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: https://gitlab.com/riseproject/python/wheel_builder/-/packages/49095883
Patch applied for this version: https://gitlab.com/riseproject/python/wheel_builder/-/tree/main/wheel_builder/z3/patches/z3-4.15.4
pip install z3-solver==4.15.1.0 --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: https://gitlab.com/riseproject/python/wheel_builder/-/packages/49093850
Patch applied for this version: https://gitlab.com/riseproject/python/wheel_builder/-/tree/main/wheel_builder/z3/patches/z3-4.15.1
pip install z3-solver==4.14.1.0 --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: https://gitlab.com/riseproject/python/wheel_builder/-/packages/37267169
Patch applied for this version: https://gitlab.com/riseproject/python/wheel_builder/-/tree/main/wheel_builder/z3/patches/z3-4.14.1
Link to sources of bundled GPL libraries (libatomic)
pip install z3-solver==4.12.6.0 --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: https://gitlab.com/riseproject/python/wheel_builder/-/packages/39462249
Patch applied for this version: https://gitlab.com/riseproject/python/wheel_builder/-/tree/main/wheel_builder/z3/patches/z3-4.12.6
Link to sources of bundled GPL libraries (libatomic)
pip install z3-solver==4.12.2.0 --index-url https://pypi.riseproject.dev/simple/
License: MIT
Download files: https://gitlab.com/riseproject/python/wheel_builder/-/packages/37266724
Patch applied for this version: https://gitlab.com/riseproject/python/wheel_builder/-/tree/main/wheel_builder/z3/patches/z3-4.12.2
Link to sources of bundled GPL libraries (libatomic)