Z3::FFI This is a direct translation of the Z3 C API to a Perl API. It's most likely not the level for working with Z3 from perl. This is a mostly functional implementation right now. Three functions related to fixed point math are unimplemented currently. It should work for any examples from the C API in Z3. INSTALLATION This is a Perl module distribution. It should be installed with whichever tool you use to manage your installation of Perl, e.g. any of cpanm . cpan . cpanp -i . Consult http://www.cpan.org/modules/INSTALL.html for further instruction. Should you wish to install this module manually, the procedure is perl Makefile.PL make make test make install COPYRIGHT AND LICENSE This software is Copyright (c) 2019 by Ryan Voots. This is free software, licensed under: The Artistic License 2.0 (GPL Compatible)