[Bug 1839886] New: Review Request: python-claripy - An abstraction layer for constraint solvers