Package Details: python-z3-solver-angr 4.5.1.0.post2-1

Git Clone URL: https://aur.archlinux.org/python-z3-solver-angr.git (read-only)
Package Base: python-z3-solver-angr
Description: A high-performance theorem prover from Microsoft Research, for use with the angr binary analysis platform
Upstream URL: https://github.com/Z3Prover/z3
Licenses: MIT
Conflicts: python-z3
Provides: python-z3
Submitter: lockshaw
Maintainer: lockshaw
Last Packager: lockshaw
Votes: 0
Popularity: 0.000000
First Submitted: 2019-02-05 04:33
Last Updated: 2019-02-05 04:35

Dependencies (4)

Required by (2)

Sources (1)