Packages

Bindings to the Z3 theorem prover.

Current section

1 Dependency

Jump to

Dependencies of zee3

1 dependency
Package Requirement
nimble_parsec
~> 1.3

Checksum

Dependency Config

mix.exs

rebar.config

Gleam

erlang.mk

Package Details

Downloads Last 30 days, all versions
0 5 10 15 20

this version

36

yesterday

0

last 7 days

8

all time

71

Last Updated

May 04, 2026

License

BSD-3-Clause

Build Tools

mix

Publisher

tmbb tmbb

Links

Owners