An abstraction layer for constraint solvers
Project description
claripy
Claripy is an abstracted constraint-solving wrapper.
Usage
It is usable!
General usage is similar to Z3:
>>> 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])
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
claripy-9.2.28.tar.gz
(128.3 kB
view details)
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
claripy-9.2.28-py3-none-any.whl
(154.6 kB
view details)
File details
Details for the file claripy-9.2.28.tar.gz.
File metadata
- Download URL: claripy-9.2.28.tar.gz
- Upload date:
- Size: 128.3 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.8.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
13bc72abecdc1e365dbb57b9e9db7dcf1369a122c5fbb52f3572817bb7413371
|
|
| MD5 |
8711b50bab38e41e56b2176ee9f403f9
|
|
| BLAKE2b-256 |
e91268313b89208ce466bf3202b6db4fbbc8c42bb727fdb55cb6cd4cecc772f3
|
File details
Details for the file claripy-9.2.28-py3-none-any.whl.
File metadata
- Download URL: claripy-9.2.28-py3-none-any.whl
- Upload date:
- Size: 154.6 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/4.0.2 CPython/3.8.14
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
abe1fc228103443296292c4441b36beed0129a8711ac0a47809c6d3105307eed
|
|
| MD5 |
02d6aa097c4ef4e70c7ff0e4d61985f0
|
|
| BLAKE2b-256 |
32766e1b7e424f6aff86c1d4646723f405bcd59c7f4a47bf61c26e03aa71e48e
|