efficient SMT solver library (angr fork)
Project homepage: https://github.com/angr/angr-z3
Description
Fork of Z3 for use with angr.
Package information
- Ports path
- devel/angr/py-z3-solver
- Package architecture
- amd64
- Maintainer
- Jasper Lievisse Adriaanse <jasper@openbsd.org>
- Categories
- devel, security, lang/python
- Available flavors
- None listed
- Only for architectures
- aarch64, amd64
Ports list build and test dependencies as well as runtime dependencies. pkg_add selects those needed for installation.
Direct dependencies
Runtime
Build
- lang/python/3
- devel/py-build
- devel/py-installer
- devel/py-setuptools py3-setuptools->=79v0
- devel/py-wheel
Used by (2 dependency relationships)
Includes library, runtime, build and test dependencies.