path: root/math/py-claripy/pkg-descr

Claripy is an abstracted constraint-solving wrapper for Python.

It is being developed by the Angr project.

WWW: https://github.com/angr/claripy