mirror of
https://git.FreeBSD.org/ports.git
synced 2025-01-26 09:46:09 +00:00
d791e33984
Claripy is an abstracted constraint-solving wrapper for Python. It is being developed by the Angr project. WWW: https://github.com/angr/claripy PR: 244562
6 lines
146 B
Plaintext
6 lines
146 B
Plaintext
Claripy is an abstracted constraint-solving wrapper for Python.
|
|
|
|
It is being developed by the Angr project.
|
|
|
|
WWW: https://github.com/angr/claripy
|