API Reference zee3 v#0.3.0

Documentation for Zee3.

Translates Z3 S-Expression ASTs into native Elixir data types, and compiles Z3 lambdas into executable Elixir anonymous functions.

Module to represent Z3 bit vector literals.

Module to represent Z3 integer literals.

Module to represent Z3 list literals.

A NimbleParsec implementation for parsing SMT-LIB2 S-Expressions.

Module to represent Z3 string literals.

Module to represent Z3 string literals.

Defines the functions and macros which are available inside the body of the Zee3.program/2 macro.

Standard SMT-LIB2 Sorts (Types) for the Zee3 DSL.