Skip to main content

An abstraction layer for constraint solvers

Project description

claripy

Latest Release Python Version PyPI Statistics 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:

>>> 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 Distributions

No source distribution files available for this release.See tutorial on generating distribution archives.

Built Distribution

claripy-9.2.163-py3-none-any.whl (142.1 kB view details)

Uploaded Python 3

File details

Details for the file claripy-9.2.163-py3-none-any.whl.

File metadata

  • Download URL: claripy-9.2.163-py3-none-any.whl
  • Upload date:
  • Size: 142.1 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/6.1.0 CPython/3.12.9

File hashes

Hashes for claripy-9.2.163-py3-none-any.whl
Algorithm Hash digest
SHA256 db83561ea39788b9be02ae7f25b0563e08ecca546ef1b4ff0a0391b5ccd91d00
MD5 6d3dddf69505781a0b2aaf39e1d97fc1
BLAKE2b-256 b22b412b95da92d85866f32540d1483e7ddab46ee165e980bab4d0e231a1e594

See more details on using hashes here.

Provenance

The following attestation bundles were made for claripy-9.2.163-py3-none-any.whl:

Publisher: angr-release.yml on angr/ci-settings

Attestations: Values shown here reflect the state when the release was signed and may no longer be current.

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page