Packages

zee3

v0.2.0

Bindings to the Z3 theorem prover.

Current section

Activity

Jump to
Date Activity
May 02, 2026 Publish documentation for release 0.2.0
May 02, 2026 Publish release 0.2.0
2 activities of 2 total

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 20 40 60 80

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

tmbb tmbb

Links

Owners