z3-solver

• Source Code: https://github.com/Z3Prover/z3
• Supported versions:

4.16.0.0 (latest)

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

4.15.8.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

4.15.4.0

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

4.15.1.0

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

4.14.1.0

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)

4.12.6.0

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)

4.12.2.0

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)