zee3

v0.2.0

Bindings to the Z3 theorem prover.

HexDocs HexPreview

Current section

1 Dependency

Jump to

Readme 1 Version 1 Dependency 0 Dependants Activity

Dependencies of zee3

1 dependency

Package	Requirement	Status
nimble_parsec	~> 1.3

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions

this version

0

yesterday

0

last 7 days

0

all time

0

Last Updated

May 02, 2026

License

BSD-3-Clause

Build Tools

mix

Publisher

Links

GitHub

Owners

tmbb