name: angr-only-z3-custom
description: installation stub for z3-solver
license_spdx: MIT
version: 9002
spec_version: 1.0
home_url: https://github.com/angr/angr-z3
news_url: https://libraries.io/pypi/angr-only-z3-custom/versions.atom
date: 2016-10-12
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/angr-only-z3-custom?number=9002
vcs_tool: git
vcs_repository: https://github.com/angr/angr-z3
vcs_branch: master
