Skip to content

Commit 27f034f

Browse files
threexcthreexc
committed
deploy: f452b35 
1 parent 99b71bf commit 27f034f

2 files changed

Lines changed: 2 additions & 2 deletions

File tree

‎assets/js/search-data.json‎

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1163,7 +1163,7 @@
11631163
},"166": {
11641164
"doc": "z3-solver",
11651165
"title": "z3-solver",
1166-
"content": ". | 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) . ",
1166+
"content": "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. | 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) . ",
11671167
"url": "/python-wheels/packages/z3-solver.html#z3-solver",
11681168

11691169
"relUrl": "/packages/z3-solver.html#z3-solver"

0 commit comments

Comments
 (0)