https://github.com/angr/claripy

An abstraction layer for constraint solvers.
https://github.com/angr/claripy

Last synced: 8 days ago
JSON representation

An abstraction layer for constraint solvers.

• Host: GitHub
• URL: https://github.com/angr/claripy
• Owner: angr
• License: bsd-2-clause
• Created: 2015-08-06T21:50:19.000Z (almost 10 years ago)
• Default Branch: master
• Last Pushed: 2025-05-06T17:26:11.000Z (16 days ago)
• Last Synced: 2025-05-08T07:18:16.824Z (15 days ago)
• Language: Python
• Homepage:
• Size: 6.7 MB
• Stars: 313
• Watchers: 23
• Forks: 98
• Open Issues: 28
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

        
# 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])

```