# claripy
[![Latest Release](https://img.shields.io/pypi/v/claripy.svg)](https://pypi.python.org/pypi/claripy/)
[![Python Version](https://img.shields.io/pypi/pyversions/claripy)](https://pypi.python.org/pypi/claripy/)
[![PyPI Statistics](https://img.shields.io/pypi/dm/claripy.svg)](https://pypistats.org/packages/claripy)
[![License](https://img.shields.io/github/license/angr/claripy.svg)](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])
```
Raw data
{
"_id": null,
"home_page": "https://github.com/angr/claripy",
"name": "claripy",
"maintainer": null,
"docs_url": null,
"requires_python": ">=3.8",
"maintainer_email": null,
"keywords": null,
"author": null,
"author_email": null,
"download_url": "https://files.pythonhosted.org/packages/b3/29/c984eac5f2c85f2264c793480cee6863799a32a5981ceb7e22a4a31180f8/claripy-9.2.98.tar.gz",
"platform": null,
"description": "# claripy\n[![Latest Release](https://img.shields.io/pypi/v/claripy.svg)](https://pypi.python.org/pypi/claripy/)\n[![Python Version](https://img.shields.io/pypi/pyversions/claripy)](https://pypi.python.org/pypi/claripy/)\n[![PyPI Statistics](https://img.shields.io/pypi/dm/claripy.svg)](https://pypistats.org/packages/claripy)\n[![License](https://img.shields.io/github/license/angr/claripy.svg)](https://github.com/angr/claripy/blob/master/LICENSE)\n\nClaripy is an abstracted constraint-solving wrapper.\n\n## Project Links\nProject repository: https://github.com/angr/claripy\n\nDocumentation: https://api.angr.io/projects/claripy/en/latest/\n\n## Usage\n\nIt is usable!\n\nGeneral usage is similar to Z3:\n\n```python\n>>> import claripy\n>>> a = claripy.BVV(3, 32)\n>>> b = claripy.BVS('var_b', 32)\n>>> s = claripy.Solver()\n>>> s.add(b > a)\n>>> print(s.eval(b, 1)[0])\n```\n",
"bugtrack_url": null,
"license": "BSD-2-Clause",
"summary": "An abstraction layer for constraint solvers",
"version": "9.2.98",
"project_urls": {
"Homepage": "https://github.com/angr/claripy"
},
"split_keywords": [],
"urls": [
{
"comment_text": "",
"digests": {
"blake2b_256": "ef0cf231dc13b3581babaf952e0534194128964c0b927430a95e34bd12cd52ed",
"md5": "fda015d7d7ba785f61bd02d9840959db",
"sha256": "06dee243f7c26ad6989d7fc571942401f6919a324108c757d460d1d1726153d2"
},
"downloads": -1,
"filename": "claripy-9.2.98-py3-none-any.whl",
"has_sig": false,
"md5_digest": "fda015d7d7ba785f61bd02d9840959db",
"packagetype": "bdist_wheel",
"python_version": "py3",
"requires_python": ">=3.8",
"size": 157563,
"upload_time": "2024-04-09T17:15:07",
"upload_time_iso_8601": "2024-04-09T17:15:07.835646Z",
"url": "https://files.pythonhosted.org/packages/ef/0c/f231dc13b3581babaf952e0534194128964c0b927430a95e34bd12cd52ed/claripy-9.2.98-py3-none-any.whl",
"yanked": false,
"yanked_reason": null
},
{
"comment_text": "",
"digests": {
"blake2b_256": "b329c984eac5f2c85f2264c793480cee6863799a32a5981ceb7e22a4a31180f8",
"md5": "8d1a9882c28fd51e1c822e5fac9ae4c0",
"sha256": "8012b24b373b88c09ffcec72dcf0893af6639be9ed28d58c22a701c1957a867c"
},
"downloads": -1,
"filename": "claripy-9.2.98.tar.gz",
"has_sig": false,
"md5_digest": "8d1a9882c28fd51e1c822e5fac9ae4c0",
"packagetype": "sdist",
"python_version": "source",
"requires_python": ">=3.8",
"size": 160295,
"upload_time": "2024-04-09T17:15:32",
"upload_time_iso_8601": "2024-04-09T17:15:32.473691Z",
"url": "https://files.pythonhosted.org/packages/b3/29/c984eac5f2c85f2264c793480cee6863799a32a5981ceb7e22a4a31180f8/claripy-9.2.98.tar.gz",
"yanked": false,
"yanked_reason": null
}
],
"upload_time": "2024-04-09 17:15:32",
"github": true,
"gitlab": false,
"bitbucket": false,
"codeberg": false,
"github_user": "angr",
"github_project": "claripy",
"travis_ci": false,
"coveralls": false,
"github_actions": true,
"lcname": "claripy"
}