Skip to content
/ claripy Public
forked from angr/claripy

An abstraction layer for constraint solvers

License

Notifications You must be signed in to change notification settings

juk80x/claripy

 
 

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

Repository files navigation

claripy

Claripy is a abstracted constraint-solving wrapper.

Usage

It is usable!

General usage is similar to z3:

>>> import claripy
>>> a = claripy.BVV(3, 32)
>>> b = claripy.BV('var_b', 32)
>>> s = claripy.Solver()
>>> s.add(b > a)
>>> print s.eval(b, 1)[0].value

About

An abstraction layer for constraint solvers

Resources

License

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published

Languages

  • Python 100.0%