Arch Linux User Repository

Search Criteria

Enter search criteria

Search by

Keywords

Out of Date

Sort by

Sort order

Per page

Package Details: python-claripy-git 9.2.131.dev0.r2418.027dda79-1

Package Actions

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-2-Clause
Conflicts:	python-claripy
Provides:	python-claripy
Submitter:	lockshaw
Maintainer:	ldr709 (meadow)
Last Packager:	meadow
Votes:	0
Popularity:	0.000000
First Submitted:	2019-02-05 04:28 (UTC)
Last Updated:	2024-12-03 17:04 (UTC)

Dependencies (13)

python (python37^AUR, python311^AUR, python310^AUR)
python-cachetools
python-typing_extensions
python-z3-solver (z3-git^AUR)
git (git-git^AUR, git-gl^AUR) (make)
python-build (make)
python-installer (make)
python-myst-parser (python-myst-parser018^AUR) (make)
python-setuptools (make)
python-sphinx (python-sphinx-git^AUR) (make)
python-sphinx-autodoc-typehints (make)
python-wheel (make)
python-pytest (check)

Required by (5)

python-ailment-git (requires python-claripy)
python-angr
python-angr-git (requires python-claripy)
python-cle-git (requires python-claripy)
python-cle-git (optional)

Sources (1)

python-claripy-git

Latest Comments

ldr709 commented on 2021-01-17 02:24 (UTC)

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

ldr709 commented on 2020-02-02 03:42 (UTC)

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?