name: z3
description: Nim Z3 theorem prover bindings
license_spdx: MIT
version: v0.1.1
spec_version: 1.0
home_url: https://github.com/zevv/nimz3
news_url: https://libraries.io/nimble/z3/tags.atom
date: 2024-04-18
about_resource: NONE
libraries_io_url: https://libraries.io/nimble/z3
vcs_tool: git
vcs_repository: https://github.com/zevv/nimz3
vcs_branch: master
