Package Details: python-claripy-git

Git Clone URL: (read-only, click to copy)
Package Base: python-claripy-git
Description: An abstraction layer for constraint solvers.
Upstream URL:
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 (UTC)
Last Updated: 2022-10-23 03:37 (UTC)

Latest Comments

MarsSeed commented on 2023-08-03 15:52 (UTC)

Dependency python-future is no longer required.

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?