# Zee3

Idiomatic for the Z3 theorem prover.

## Installation

The package can be installed by adding `zee3` to your list
of dependencies in `mix.exs`:

```elixir
def deps do
  [
    {:zee3, "~> 0.1.0"}
  ]
end
```

The docs can be found at <https://hexdocs.pm/zee3>.