name: z3
description: Purescript FFI bindings for the Z3 theorem prover
license_spdx: MIT
version: v0.0.1
spec_version: 1.0
news_url: https://libraries.io/purescript/z3/tags.atom
date: 2024-04-19
about_resource: NONE
libraries_io_url: https://libraries.io/purescript/z3
vcs_tool: git
vcs_repository: https://github.com/gbagan/purescript-z3
vcs_branch: main
