name: z4-solver
description: z3++
license_spdx: GPL-3.0-only
version: 2021.12.25.0
spec_version: 1.0
home_url: https://github.com/Tyilo/z4
news_url: https://libraries.io/pypi/z4-solver/versions.atom
date: 2021-12-25
about_resource: NONE
libraries_io_url: https://libraries.io/pypi/z4-solver?number=2021.12.25.0
vcs_tool: git
vcs_repository: https://github.com/tyilo/z4
vcs_branch: master
