An abstraction layer for constraint solvers

Navigation

Verified details

These details have been verified by PyPI
Maintainers
Avatar for angr-bot from gravatar.com angr-bot Avatar for kphoenix from gravatar.com kphoenix Avatar for ltfish from gravatar.com ltfish Avatar for rhelmot from gravatar.com rhelmot Avatar for salls from gravatar.com salls Avatar for zardus from gravatar.com zardus

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: BSD License (BSD-2-Clause)
  • Requires: Python >=3.8
Classifiers
Report project as malware

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

Verified details

These details have been verified by PyPI
Maintainers
Avatar for angr-bot from gravatar.com angr-bot Avatar for kphoenix from gravatar.com kphoenix Avatar for ltfish from gravatar.com ltfish Avatar for rhelmot from gravatar.com rhelmot Avatar for salls from gravatar.com salls Avatar for zardus from gravatar.com zardus

Unverified details

These details have not been verified by PyPI
Project links
Meta
  • License: BSD License (BSD-2-Clause)
  • Requires: Python >=3.8
Classifiers

Release history Release notifications | RSS feed

9.2.205

9.2.204

9.2.203

9.2.202

9.2.201

9.2.199

9.2.198

9.2.197

9.2.196

9.2.195

9.2.194

9.2.193

9.2.192

9.2.191

9.2.190

9.2.189

9.2.188

9.2.187

9.2.186

9.2.185

9.2.184

9.2.183

9.2.182

9.2.181

9.2.180

9.2.179

9.2.178

9.2.177

9.2.176

9.2.175

9.2.174

9.2.173

9.2.172

9.2.171

9.2.170

9.2.169

9.2.168

9.2.167

9.2.166

9.2.165

9.2.164

9.2.163

9.2.162

9.2.161

9.2.160

9.2.159

9.2.158

9.2.157

9.2.156

9.2.154

9.2.153

9.2.152

9.2.150

9.2.149

9.2.148

9.2.147

9.2.146

9.2.145

9.2.144

9.2.143

9.2.142

9.2.141

9.2.140

9.2.139

9.2.138

9.2.137

9.2.136

9.2.135

9.2.134

9.2.133

9.2.132

9.2.131

9.2.130

9.2.129

9.2.128

9.2.127

9.2.126

9.2.125

9.2.124

9.2.123

9.2.122

9.2.121

9.2.120

9.2.119

9.2.118

9.2.117

9.2.116

9.2.115

9.2.114

9.2.113

9.2.112

9.2.111

9.2.110

9.2.109

9.2.108

9.2.107

9.2.106

9.2.105

9.2.104

9.2.103

9.2.102

9.2.101

9.2.100

9.2.99

9.2.98

9.2.97

9.2.96

9.2.95

9.2.94

9.2.93

9.2.92

9.2.91

9.2.90

9.2.89

9.2.88

9.2.87

9.2.86

9.2.85

9.2.84

9.2.83

9.2.82

9.2.81

9.2.80

9.2.79

9.2.78

9.2.77

9.2.76

9.2.75

9.2.74

9.2.73

9.2.72

9.2.71

9.2.70

9.2.69

9.2.68

9.2.67

9.2.66

9.2.65

9.2.64

9.2.63

9.2.62

9.2.61

9.2.60

9.2.59

9.2.58

9.2.57

9.2.56

9.2.55

9.2.54

9.2.53

9.2.52

9.2.51

9.2.50

9.2.49

9.2.48

This version

9.2.47

9.2.46

9.2.45

9.2.44

9.2.43

9.2.42

9.2.41

9.2.40

9.2.39

9.2.38

9.2.37

9.2.36

9.2.35

9.2.34

9.2.33

9.2.32

9.2.31

9.2.30

9.2.29

9.2.28

9.2.27

9.2.26

9.2.25

9.2.24

9.2.23

9.2.22

9.2.21

9.2.20

9.2.19

9.2.18

9.2.17

9.2.16

9.2.15

9.2.14

9.2.13

9.2.12

9.2.11

9.2.10

9.2.9

9.2.8

9.2.7

9.2.6

9.2.5

9.2.4

9.2.3

9.2.2

9.2.1

9.1.12332

9.1.11752

9.1.11611

9.1.11508

9.1.10913

9.0.10730

9.0.10689

9.0.10651

9.0.10576

9.0.10534

9.0.10409

9.0.10339

9.0.10281

9.0.10159

9.0.10072

9.0.10055

9.0.10010

9.0.9947

9.0.9792

9.0.9684

9.0.9572

9.0.9506

9.0.9438

9.0.9355

9.0.9297

9.0.9166

9.0.9031

9.0.8761

9.0.8021

9.0.7912

9.0.7833

9.0.7491

9.0.7293

9.0.6885

9.0.6852

9.0.6790

9.0.6642

9.0.6588

9.0.6488

9.0.6421

9.0.6281

9.0.6136

9.0.5903

9.0.5811

9.0.5739

9.0.5610

9.0.5450

9.0.5405

9.0.5376

9.0.5327

9.0.5326

9.0.5171

9.0.5034

9.0.5002

9.0.4940

9.0.4885

9.0.4663

9.0.4495

9.0.4446

9.0.4378

8.20.7.27

8.20.7.6

8.20.6.8

8.20.6.1

8.20.5.27

8.20.1.7

8.19.10.30

8.19.10.29

8.19.7.25

8.19.4.5

8.19.2.4

8.18.10.25

8.18.10.5

7.8.9.26

7.8.8.1

7.8.6.16

7.8.2.21

7.7.12.16

7.7.9.21

7.7.9.14

7.7.9.8

6.7.7.27

6.7.6.9

6.7.4.12

6.7.3.26

6.7.1.31

6.7.1.13.post2

6.7.1.13

5.6.12.3

5.6.10.12

5.6.10.5

5.6.8.22

4.6.6.29

4.6.6.28

4.6.6.16

4.6.6.15

4.6.6.10

4.6.6.4.post1

4.6.6.4

4.6.5.27

4.6.4.28

4.6.3.28

4.6.3.18

4.6.3.15

4.6.2.25

4.6.1.27

4.6.1.18

4.5.12.21

4.5.12.12

4.5.11.23

4.5.10.14

4.5.9.29

4.5.9.14

4.5.9.13

4.5.9.9

4.5.9.9b pre-release

0.9.1

0.9.0.1

0.9.0

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.2.47.tar.gz (157.1 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.2.47-py3-none-any.whl (154.5 kB view details)

Uploaded Python 3

File details

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

File metadata

  • Download URL: claripy-9.2.47.tar.gz
  • Upload date:
  • Size: 157.1 kB
  • Tags: Source
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.8.16

File hashes

Hashes for claripy-9.2.47.tar.gz
Algorithm Hash digest
SHA256 c8340d588bfd9f918f03d4f83ac156cf5d6d73e58db6ed2f46d8e40ae943cda2
MD5 7eab4d4150f2b9e651478c6e574dc6d6
BLAKE2b-256 e66584320bae5c28f2e3d547439fe242ae2e58e096768db8d1c07272d63ca834

See more details on using hashes here.

File details

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

File metadata

  • Download URL: claripy-9.2.47-py3-none-any.whl
  • Upload date:
  • Size: 154.5 kB
  • Tags: Python 3
  • Uploaded using Trusted Publishing? No
  • Uploaded via: twine/4.0.2 CPython/3.8.16

File hashes

Hashes for claripy-9.2.47-py3-none-any.whl
Algorithm Hash digest
SHA256 af0cce49b4f05377b2c62002b7a04909b4026bb5acfe21df76bc8bd9e473f987
MD5 fea3d8a6349db363fb23434a34986d12
BLAKE2b-256 01f4333d9cc4dfc33d61843ddb7ce8435f3dc641cf0e8cc9b34e92215bbc6c8f

See more details on using hashes here.

Supported by

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