A small, Pascal-friendly interface to the Z3 SMT solver, inspired by the Python Z3 API (Z3Py).
The goal of this project is not to replace official bindings, but to make Z3 easier and more natural to use from Free Pascal / Object Pascal, with strong typing and operator overloading.
The project is organized in three layers:
- z3.pas – thin binding to the Z3 C API
- z3wrapper.pas – object-oriented wrapper with explicit contexts
- Z3Pas.pas – high-level, Python-like API using a single global context
This project is primarily intended for experimentation and personal use, and is published in case it may be useful to others.