# Zee3 Changelog

<!-- %% CHANGELOG_ENTRIES %% -->

## 0.3.0 - 2026-05-04

Add support for defining *real* Z33 functions using the `defzee3` macro from the `Zee3.Defzee3` module. These functions are real Z3 functions and not merely Elixir functions which expand into Z3 code.

See the tests for example usage of this function.


## 0.2.0 - 2026-05-02

First public release