Zee3
Idiomatic for the Z3 theorem prover.
Installation
The package can be installed by adding zee3 to your list
of dependencies in mix.exs:
def deps do
[
{:zee3, "~> 0.1.0"}
]
endThe docs can be found at https://hexdocs.pm/zee3.
Idiomatic for the Z3 theorem prover.
The package can be installed by adding zee3 to your list
of dependencies in mix.exs:
def deps do
[
{:zee3, "~> 0.1.0"}
]
endThe docs can be found at https://hexdocs.pm/zee3.