# zee3_marco v0.2.0 - Table of Contents

> Bindings to the Z3 theorem prover.

## Modules

- [Zee3.MARCO](Zee3.MARCO.md): Documentation for `Zee3.MARCO` algorithm, which implements
the [MARCO argoritm](https://markliffiton.com/marco/)
for Zee3-based constraints.

