معرفی شرکت ها
claripy-9.2.9
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
تبلیغات ما
مشتریان به طور فزاینده ای آنلاین هستند. تبلیغات می تواند به آنها کمک کند تا کسب و کار شما را پیدا کنند.
مشاهده بیشتر
9.2.9
9.2.8
9.2.7
9.2.6
9.2.5
9.2.49
9.2.48
9.2.47
9.2.46
9.2.45
9.2.44
9.2.43
9.2.42
9.2.41
9.2.40
9.2.4
9.2.39
9.2.38
9.2.37
9.2.36
9.2.35
9.2.34
9.2.33
9.2.32
9.2.31
9.2.30
9.2.3
9.2.29
9.2.28
9.2.27
9.2.26
9.2.25
9.2.24
9.2.23
9.2.22
9.2.21
9.2.20
9.2.2
9.2.19
9.2.18
9.2.17
9.2.16
9.2.15
9.2.14
9.2.13
9.2.12
9.2.11
9.2.10
9.2.1
9.1.12332
9.1.11752
9.1.11611
9.1.11508
9.1.10913
9.0.9947
9.0.9792
9.0.9684
9.0.9572
9.0.9506
9.0.9438
9.0.9355
9.0.9297
9.0.9166
9.0.9031
9.0.8761
9.0.8021
9.0.7912
9.0.7833
9.0.7491
9.0.7293
9.0.6885
9.0.6852
9.0.6790
9.0.6642
9.0.6588
9.0.6488
9.0.6421
9.0.6281
9.0.6136
9.0.5903
9.0.5811
9.0.5739
9.0.5610
9.0.5450
9.0.5405
9.0.5376
9.0.5327
9.0.5326
9.0.5171
9.0.5034
9.0.5002
9.0.4940
9.0.4885
9.0.4663
9.0.4495
9.0.4446
9.0.4378
9.0.10730
9.0.10689
9.0.10651
9.0.10576
9.0.10534
9.0.10409
9.0.10339
9.0.10281
9.0.10159
9.0.10072
9.0.10055
9.0.10010
9.2.9
9.2.8
9.2.7
9.2.6
9.2.5
9.2.49
9.2.48
9.2.47
9.2.46
9.2.45
9.2.44
9.2.43
9.2.42
9.2.41
9.2.40
9.2.4
9.2.39
9.2.38
9.2.37
9.2.36
9.2.35
9.2.34
9.2.33
9.2.32
9.2.31
9.2.30
9.2.3
9.2.29
9.2.28
9.2.27
9.2.26
9.2.25
9.2.24
9.2.23
9.2.22
9.2.21
9.2.20
9.2.2
9.2.19
9.2.18
9.2.17
9.2.16
9.2.15
9.2.14
9.2.13
9.2.12
9.2.11
9.2.10
9.2.1
9.1.12332
9.1.11752
9.1.11611
9.1.11508
9.1.10913
9.0.9947
9.0.9792
9.0.9684
9.0.9572
9.0.9506
9.0.9438
9.0.9355
9.0.9297
9.0.9166
9.0.9031
9.0.8761
9.0.8021
9.0.7912
9.0.7833
9.0.7491
9.0.7293
9.0.6885
9.0.6852
9.0.6790
9.0.6642
9.0.6588
9.0.6488
9.0.6421
9.0.6281
9.0.6136
9.0.5903
9.0.5811
9.0.5739
9.0.5610
9.0.5450
9.0.5405
9.0.5376
9.0.5327
9.0.5326
9.0.5171
9.0.5034
9.0.5002
9.0.4940
9.0.4885
9.0.4663
9.0.4495
9.0.4446
9.0.4378
9.0.10730
9.0.10689
9.0.10651
9.0.10576
9.0.10534
9.0.10409
9.0.10339
9.0.10281
9.0.10159
9.0.10072
9.0.10055
9.0.10010
8.20.7.6
8.20.7.27
8.20.6.8
8.20.6.1
8.20.5.27
8.20.1.7
8.19.7.25
8.19.4.5
8.19.2.4
8.19.10.30
8.19.10.29
8.18.10.5
8.18.10.25
7.8.9.26
7.8.8.1
7.8.6.16
7.8.2.21
7.7.9.8
7.7.9.21
7.7.9.14
7.7.12.16
6.7.7.27
6.7.6.9
6.7.4.12
6.7.3.26
6.7.1.31
6.7.1.13.post2
6.7.1.13
5.6.8.22
5.6.12.3
5.6.10.5
5.6.10.12
4.6.6.4.post1
4.6.6.4
4.6.6.29
4.6.6.28
4.6.6.16
4.6.6.15
4.6.6.10
4.6.5.27
4.6.4.28
4.6.3.28
4.6.3.18
4.6.3.15
4.6.2.25
4.6.1.27
4.6.1.18
4.5.9.9b
4.5.9.9
4.5.9.29
4.5.9.14
4.5.9.13
4.5.12.21
4.5.12.12
4.5.11.23
4.5.10.14
0.9.1
0.9.0.1
0.9.0
توضیحات
An abstraction layer for constraint solvers
| ویژگی | مقدار |
|---|---|
| سیستم عامل | - |
| نام فایل | claripy-9.2.9 |
| نام | claripy |
| نسخه کتابخانه | 9.2.9 |
| نگهدارنده | [] |
| ایمیل نگهدارنده | [] |
| نویسنده | - |
| ایمیل نویسنده | - |
| آدرس صفحه اصلی | https://github.com/angr/clairpy |
| آدرس اینترنتی | https://pypi.org/project/claripy/ |
| مجوز | BSD-2-Clause |
# claripy
[](https://pypi.python.org/pypi/claripy/)
[](https://pypi.python.org/pypi/claripy/)
[](https://pypistats.org/packages/claripy)
[](https://github.com/angr/claripy/blob/master/LICENSE)
Claripy is an abstracted constraint-solving wrapper.
## Project Links
Project repository: https://github.com/angr/claripy
Documentation: https://api.angr.io/projects/claripy/en/latest/
## Usage
It is usable!
General usage is similar to Z3:
```python
>>> import claripy
>>> a = claripy.BVV(3, 32)
>>> b = claripy.BVS('var_b', 32)
>>> s = claripy.Solver()
>>> s.add(b > a)
>>> print(s.eval(b, 1)[0])
```
نیازمندی
| مقدار | نام |
|---|---|
| - | cachetools |
| - | decorator |
| >=0.9.5 | pysmt |
| ==4.10.2.0 | z3-solver |
| - | cvc4-solver |
| - | furo |
| - | myst-parser |
| - | sphinx |
| - | sphinx-autodoc-typehints |
زبان مورد نیاز
| مقدار | نام |
|---|---|
| >=3.8 | Python |
نحوه نصب
نصب پکیج whl claripy-9.2.9:
pip install claripy-9.2.9.whl
نصب پکیج tar.gz claripy-9.2.9:
pip install claripy-9.2.9.tar.gz