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 links

Key dates

PyPI data
Data sourced directly from PyPI's database.
  • Released:
Latest release

6 maintainers

PyPI data
Data sourced directly from PyPI's database.
Avatar for angr-bot from gravatar.com angr-bot Avatar for kphoenix from gravatar.com kphoenix Avatar for ltfish from gravatar.com ltfish
+3 more Avatar for rhelmot from gravatar.com rhelmot Avatar for salls from gravatar.com salls Avatar for zardus from gravatar.com zardus

License expression

BSD-2-Clause
View SPDX License List

Requires

Python >=3.12

Classifiers

Report project as malware

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.3.3.tar.gz (147.5 kB view details)

Uploaded Source

Built Distribution

If you're not sure about the file name format, learn more about wheel file names.

claripy-9.3.3-py3-none-any.whl (141.2 kB view details)

Uploaded Python 3

File details

Details for the file claripy-9.3.3.tar.gz.

File metadata

  • Download URL: claripy-9.3.3.tar.gz
  • Upload date:
  • Size: 147.5 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for claripy-9.3.3.tar.gz
Algorithm Hash digest
SHA256 c2a44a0942c6172139582ca4445af90caf382ab8c24209c28d52be6741038fae
MD5 fe5424499775cd438d34e8ce2ae50105
BLAKE2b-256 e12f81d27f9e465ddb8b5eda49211cf0c074f7399c5a5e92e85a731ffd4b0dab

See more details on using hashes here.

Provenance

The following attestation bundles were made for claripy-9.3.3.tar.gz:

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.

File details

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

File metadata

  • Download URL: claripy-9.3.3-py3-none-any.whl
  • Upload date:
  • Size: 141.2 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? Yes
  • Uploaded via: twine/7.0.0 CPython/3.13.14

File hashes

Hashes for claripy-9.3.3-py3-none-any.whl
Algorithm Hash digest
SHA256 6245d6954b28efa25016c9aec1881586f7b66352ffb07f6a0b1463694ed5d072
MD5 ef62983256455622a0f0377c5b6616eb
BLAKE2b-256 93faf79ead2e342790287841799195d19e9eb272ac6f7119bb9cd3863030f451

See more details on using hashes here.

Provenance

The following attestation bundles were made for claripy-9.3.3-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.

Release history Release notifications | RSS feed

This release

9.3.3 This release

2 files

9.3.2

2 files

9.3.1

2 files

9.3.0

2 files

9.2.223

2 files

9.2.222

2 files

9.2.221

2 files

9.2.217

2 files

9.2.215

2 files

9.2.214

2 files

9.2.213

2 files

9.2.212

2 files

9.2.211

2 files

9.2.209

2 files

9.2.208

2 files

9.2.207

2 files

9.2.205

2 files

9.2.204

2 files

9.2.203

2 files

9.2.202

2 files

9.2.201

2 files

9.2.199

2 files

9.2.198

2 files

9.2.197

2 files

9.2.196

2 files

9.2.195

2 files

9.2.194

2 files

9.2.193

2 files

9.2.192

2 files

9.2.191

2 files

9.2.190

2 files

9.2.189

2 files

9.2.188

2 files

9.2.187

2 files

9.2.186

2 files

9.2.185

2 files

9.2.184

2 files

9.2.183

2 files

9.2.182

2 files

9.2.181

2 files

9.2.180

2 files

9.2.179

2 files

9.2.178

2 files

9.2.177

2 files

9.2.176

2 files

9.2.175

2 files

9.2.174

2 files

9.2.173

2 files

9.2.172

2 files

9.2.171

2 files

9.2.170

2 files

9.2.169

2 files

9.2.168

2 files

9.2.167

2 files

9.2.166

2 files

9.2.165

2 files

9.2.164

1 file

9.2.163

1 file

9.2.162

2 files

9.2.161

2 files

9.2.160

2 files

9.2.159

2 files

9.2.158

2 files

9.2.157

2 files

9.2.156

2 files

9.2.154

2 files

9.2.153

2 files

9.2.152

2 files

9.2.150

2 files

9.2.149

2 files

9.2.148

2 files

9.2.147

2 files

9.2.146

2 files

9.2.145

2 files

9.2.144

2 files

9.2.143

2 files

9.2.142

2 files

9.2.141

2 files

9.2.140

2 files

9.2.139

2 files

9.2.138

2 files

9.2.137

2 files

9.2.136

2 files

9.2.135

2 files

9.2.134

2 files

9.2.133

2 files

9.2.132

2 files

9.2.131

2 files

9.2.130

2 files

9.2.129

2 files

9.2.128

2 files

9.2.127

2 files

9.2.126

2 files

9.2.125

2 files

9.2.124

2 files

9.2.123

2 files

9.2.122

2 files

9.2.121

2 files

9.2.120

2 files

9.2.119

2 files

9.2.118

2 files

9.2.117

2 files

9.2.116

2 files

9.2.115

2 files

9.2.114

2 files

9.2.113

2 files

9.2.112

2 files

9.2.111

2 files

9.2.110

2 files

9.2.109

2 files

9.2.108

2 files

9.2.107

2 files

9.2.106

2 files

9.2.105

2 files

9.2.104

2 files

9.2.103

2 files

9.2.102

2 files

9.2.101

2 files

9.2.100

2 files

9.2.99

2 files

9.2.98

2 files

9.2.97

2 files

9.2.96

2 files

9.2.95

2 files

9.2.94

2 files

9.2.93

2 files

9.2.92

2 files

9.2.91

2 files

9.2.90

2 files

9.2.89

2 files

9.2.88

2 files

9.2.87

2 files

9.2.86

2 files

9.2.85

2 files

9.2.84

2 files

9.2.83

2 files

9.2.82

2 files

9.2.81

2 files

9.2.80

2 files

9.2.79

2 files

9.2.78

2 files

9.2.77

2 files

9.2.76

2 files

9.2.75

2 files

9.2.74

2 files

9.2.73

2 files

9.2.72

2 files

9.2.71

2 files

9.2.70

2 files

9.2.69

2 files

9.2.68

2 files

9.2.67

2 files

9.2.66

2 files

9.2.65

2 files

9.2.64

2 files

9.2.63

2 files

9.2.62

2 files

9.2.61

2 files

9.2.60

2 files

9.2.59

2 files

9.2.58

2 files

9.2.57

2 files

9.2.56

2 files

9.2.55

2 files

9.2.54

2 files

9.2.53

2 files

9.2.52

2 files

9.2.51

2 files

9.2.50

2 files

9.2.49

2 files

9.2.48

2 files

9.2.47

2 files

9.2.46

2 files

9.2.45

2 files

9.2.44

2 files

9.2.43

2 files

9.2.42

2 files

9.2.41

2 files

9.2.40

2 files

9.2.39

2 files

9.2.38

2 files

9.2.37

2 files

9.2.36

2 files

9.2.35

2 files

9.2.34

2 files

9.2.33

2 files

9.2.32

2 files

9.2.31

2 files

9.2.30

2 files

9.2.29

2 files

9.2.28

2 files

9.2.27

2 files

9.2.26

2 files

9.2.25

2 files

9.2.24

2 files

9.2.23

2 files

9.2.22

2 files

9.2.21

2 files

9.2.20

2 files

9.2.19

2 files

9.2.18

2 files

9.2.17

2 files

9.2.16

2 files

9.2.15

2 files

9.2.14

2 files

9.2.13

2 files

9.2.12

2 files

9.2.11

2 files

9.2.10

2 files

9.2.9

2 files

9.2.8

2 files

9.2.7

2 files

9.2.6

2 files

9.2.5

2 files

9.2.4

2 files

9.2.3

2 files

9.2.2

2 files

9.2.1

2 files

9.1.12332

2 files

9.1.11752

2 files

9.1.11611

2 files

9.1.11508

2 files

9.1.10913

2 files

9.0.10730

2 files

9.0.10689

2 files

9.0.10651

2 files

9.0.10576

2 files

9.0.10534

2 files

9.0.10409

2 files

9.0.10339

2 files

9.0.10281

2 files

9.0.10159

2 files

9.0.10072

2 files

9.0.10055

2 files

9.0.10010

2 files

9.0.9947

2 files

9.0.9792

2 files

9.0.9684

2 files

9.0.9572

2 files

9.0.9506

2 files

9.0.9438

2 files

9.0.9355

2 files

9.0.9297

2 files

9.0.9166

2 files

9.0.9031

2 files

9.0.8761

2 files

9.0.8021

2 files

9.0.7912

2 files

9.0.7833

2 files

9.0.7491

2 files

9.0.7293

2 files

9.0.6885

2 files

9.0.6852

2 files

9.0.6790

2 files

9.0.6642

2 files

9.0.6588

2 files

9.0.6488

2 files

9.0.6421

2 files

9.0.6281

2 files

9.0.6136

2 files

9.0.5903

2 files

9.0.5811

2 files

9.0.5739

2 files

9.0.5610

2 files

9.0.5450

2 files

9.0.5405

2 files

9.0.5376

2 files

9.0.5327

2 files

9.0.5326

2 files

9.0.5171

2 files

9.0.5034

2 files

9.0.5002

2 files

9.0.4940

2 files

9.0.4885

2 files

9.0.4663

2 files

9.0.4495

2 files

9.0.4446

2 files

9.0.4378

2 files

8.20.7.27

1 file

8.20.7.6

1 file

8.20.6.8

1 file

8.20.6.1

1 file

8.20.5.27

1 file

8.20.1.7

1 file

8.19.10.30

1 file

8.19.10.29

1 file

8.19.7.25

1 file

8.19.4.5

1 file

8.19.2.4

1 file

8.18.10.25

1 file

8.18.10.5

1 file

7.8.9.26

1 file

7.8.8.1

1 file

7.8.6.16

1 file

7.8.2.21

1 file

7.7.12.16

1 file

7.7.9.21

1 file

7.7.9.14

1 file

7.7.9.8

1 file

6.7.7.27

1 file

6.7.6.9

1 file

6.7.4.12

1 file

6.7.3.26

1 file

6.7.1.31

1 file

6.7.1.13.post2

1 file

6.7.1.13

1 file

5.6.12.3

1 file

5.6.10.12

1 file

5.6.10.5

1 file

5.6.8.22

1 file

4.6.6.29

1 file

4.6.6.28

1 file

4.6.6.16

1 file

4.6.6.15

1 file

4.6.6.10

1 file

4.6.6.4.post1

1 file

4.6.6.4

1 file

4.6.5.27

1 file

4.6.4.28

1 file

4.6.3.28

1 file

4.6.3.18

1 file

4.6.3.15

1 file

4.6.2.25

1 file

4.6.1.27

1 file

4.6.1.18

1 file

4.5.12.21

1 file

4.5.12.12

1 file

4.5.11.23

1 file

4.5.10.14

1 file

4.5.9.29

1 file

4.5.9.14

1 file

4.5.9.13

1 file

4.5.9.9

1 file

Pre-release

4.5.9.9b

1 file

0.9.1

1 file

0.9.0.1

1 file

0.9.0

1 file

Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page