| title | z3-solver |
|---|---|
| layout | default |
| parent | Supported Packages |
- Source Code: https://github.com/Z3Prover/z3
- Supported versions:
4.16.0.0 (latest)
pip install z3-solver --index-url https://gitlab.com/api/v4/projects/56254198/packages/pypi/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
4.15.8.0
pip install z3-solver==4.15.8.0 --index-url https://gitlab.com/api/v4/projects/56254198/packages/pypi/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
4.15.4.0
pip install z3-solver==4.15.4.0 --index-url https://gitlab.com/api/v4/projects/56254198/packages/pypi/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
4.15.1.0
pip install z3-solver==4.15.1.0 --index-url https://gitlab.com/api/v4/projects/56254198/packages/pypi/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
4.14.1.0
pip install z3-solver==4.14.1.0 --index-url https://gitlab.com/api/v4/projects/56254198/packages/pypi/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
{: .note }
Link to sources of bundled GPL libraries (libatomic)
4.12.6.0
pip install z3-solver==4.12.6.0 --index-url https://gitlab.com/api/v4/projects/56254198/packages/pypi/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
{: .note }
Link to sources of bundled GPL libraries (libatomic)
4.12.2.0
pip install z3-solver==4.12.2.0 --index-url https://gitlab.com/api/v4/projects/56254198/packages/pypi/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
{: .note }
Link to sources of bundled GPL libraries (libatomic)