py3-z3-solver-4.8.10.0p7
efficient SMT solver library (angr fork)
Back to search · Project homepage
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
These are ports metadata. Binary availability depends on the release, architecture and mirror. Build and test dependencies are not an installation checklist.
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 relationships. Results load 100 at a time.