d791e3398423
1 2 3 4 5
Claripy is an abstracted constraint-solving wrapper for Python. It is being developed by the Angr project. WWW: https://github.com/angr/claripy