Primary LanguageSchemeGNU General Public License v3.0GPL-3.0
Bindings to libz3. Only what is necessary to replicate Z3's own C tests.