6 lines
146 B
Text
6 lines
146 B
Text
|
Claripy is an abstracted constraint-solving wrapper for Python.
|
||
|
|
|
||
|
|
It is being developed by the Angr project.
|
||
|
|
|
||
|
|
WWW: https://github.com/angr/claripy
|