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"}
  ]
end

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