claripy

Name	claripy JSON
Version	9.2.168 JSON
	download
home_page	None
Summary	An abstraction layer for constraint solvers
upload_time	2025-07-29 18:18:47
maintainer	None
docs_url	None
author	None
requires_python	>=3.10
license	BSD-2-Clause
keywords
VCS
bugtrack_url
requirements	No requirements were recorded.
Travis-CI	No Travis.
coveralls test coverage	No coveralls.

            # 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": null,
    "name": "claripy",
    "maintainer": null,
    "docs_url": null,
    "requires_python": ">=3.10",
    "maintainer_email": null,
    "keywords": null,
    "author": null,
    "author_email": null,
    "download_url": "https://files.pythonhosted.org/packages/8c/90/cb8a159d789ee96e9d3c7bac081d0586db653f969ea8df00c59c9ffd6ba4/claripy-9.2.168.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.168",
    "project_urls": {
        "Homepage": "https://github.com/angr/claripy"
    },
    "split_keywords": [],
    "urls": [
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "4b90995035853a5f09bcc5913240dedff6e582a0b5a198af92a03fd640fa9559",
                "md5": "a3d1103960c3fd18db7ad3eb9c5f61dd",
                "sha256": "8401c2c9f4c8fffb04cbe1436f3490f54df9016cf1a3b57f94f0a5fb21a60f99"
            },
            "downloads": -1,
            "filename": "claripy-9.2.168-py3-none-any.whl",
            "has_sig": false,
            "md5_digest": "a3d1103960c3fd18db7ad3eb9c5f61dd",
            "packagetype": "bdist_wheel",
            "python_version": "py3",
            "requires_python": ">=3.10",
            "size": 142074,
            "upload_time": "2025-07-29T18:18:32",
            "upload_time_iso_8601": "2025-07-29T18:18:32.405621Z",
            "url": "https://files.pythonhosted.org/packages/4b/90/995035853a5f09bcc5913240dedff6e582a0b5a198af92a03fd640fa9559/claripy-9.2.168-py3-none-any.whl",
            "yanked": false,
            "yanked_reason": null
        },
        {
            "comment_text": null,
            "digests": {
                "blake2b_256": "8c90cb8a159d789ee96e9d3c7bac081d0586db653f969ea8df00c59c9ffd6ba4",
                "md5": "0b4c239a26965a43459f2b0da6b90543",
                "sha256": "2f9cec419466dc150f13b9a0bf1d5c0f8b21018f2aea9e6af638c16af5d67e0d"
            },
            "downloads": -1,
            "filename": "claripy-9.2.168.tar.gz",
            "has_sig": false,
            "md5_digest": "0b4c239a26965a43459f2b0da6b90543",
            "packagetype": "sdist",
            "python_version": "source",
            "requires_python": ">=3.10",
            "size": 147119,
            "upload_time": "2025-07-29T18:18:47",
            "upload_time_iso_8601": "2025-07-29T18:18:47.218847Z",
            "url": "https://files.pythonhosted.org/packages/8c/90/cb8a159d789ee96e9d3c7bac081d0586db653f969ea8df00c59c9ffd6ba4/claripy-9.2.168.tar.gz",
            "yanked": false,
            "yanked_reason": null
        }
    ],
    "upload_time": "2025-07-29 18:18:47",
    "github": true,
    "gitlab": false,
    "bitbucket": false,
    "codeberg": false,
    "github_user": "angr",
    "github_project": "claripy",
    "travis_ci": false,
    "coveralls": false,
    "github_actions": true,
    "lcname": "claripy"
}