Package Details: python-claripy-git 8.19.2.4.r734.050ffe4-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: lockshaw
Last Packager: lockshaw
Votes: 0
Popularity: 0.000000
First Submitted: 2019-02-05 04:28
Last Updated: 2019-02-05 04:28

Dependencies (6)

Required by (1)

Sources (1)

Latest Comments

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?