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

This version

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

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.77.tar.gz (159.2 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.77-py3-none-any.whl (156.2 kB view details)

Uploaded Python 3

File details

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

File metadata

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

File hashes

Hashes for claripy-9.2.77.tar.gz
Algorithm Hash digest
SHA256 315032280092260ceabb2173876c7b6faa2504b54061db185880f351fcbac445
MD5 52a38746f34d520b875561419a9d2212
BLAKE2b-256 3f78e80f8fafce8328acb43c485a67aabe6d4dd9334761147ecf1f1ea3d9ce1e

See more details on using hashes here.

File details

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

File metadata

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

File hashes

Hashes for claripy-9.2.77-py3-none-any.whl
Algorithm Hash digest
SHA256 71635da30a43e8e80248d39211431a96f06848a4db7289b6ced53edcde145aea
MD5 514ba3e0fbcc900e1ea82f7f172d4da9
BLAKE2b-256 5213cbfb1eba153ca71cfd439bdbcf39f7d8b88a45a40e1d7a2a437e3a44d94a

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