summaryrefslogtreecommitdiff
path: root/math/py-claripy/DESCR
blob: 63e60a6c8fbaca00d2dc0b285b4b662b9797240a (plain) 
1
2
3

Claripy is an abstracted constraint-solving wrapper.

General usage is similar to z3.
generated by cgit v1.2.3 (git 2.39.1) at 2024-08-15 18:25:47 +0000