freebsd-ports/math/py-claripy/pkg-descr at 721533a798f8445b68448b421cd15fdf9837fc59 - kpriv/freebsd-ports - Disroot Forgejo: Brace yourself, merge conflicts ahead.

kpriv/freebsd-ports

Mateusz Piotrowski d791e33984 New port: math/py-claripy

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

2020-03-07 00:00:17 +00:00

5 lines

146 B

Text

Raw Blame History

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