An abstraction layer for constraint solvers
Claripy is an abstracted constraint-solving wrapper.
Project repository: https://github.com/angr/claripy
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))
Release history Release notifications | RSS feed
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.