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. A few functions are not implemented, Z3_set_error_handler in particular. This early release is also missing support for any Z3_...[] array types and the few pointer types that get used. These will be implemented in future versions 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)