Package Details: python-claripy-git 8.20.7.27.r1961.db253a68-1

Git Clone URL: https://aur.archlinux.org/python-claripy-git.git (read-only, click to copy)
Package Base: python-claripy-git
Description: An abstraction layer for constraint solvers.
Upstream URL: https://github.com/angr/claripy
Licenses: BSD
Conflicts: python-claripy
Provides: python-claripy
Submitter: lockshaw
Maintainer: ldr709
Last Packager: ldr709
Votes: 0
Popularity: 0.000000
First Submitted: 2019-02-05 04:28
Last Updated: 2021-01-31 21:23

Latest Comments

ldr709 commented on 2021-01-17 02:24

Now that the python-z3-solver-angr package is gone, could you please change the dependencies?

ldr709 commented on 2020-02-02 03:42

I got the following error when using this package to add constraints to angr.

AttributeError: module 'z3' has no attribute 'Z3_get_symbol_string_bytes'

When I locally switched the dependency to python3-z3 instead, the problem went away. Could you either switch the dependency on this package or update python-z3-solver-angr?