Alien::Z3 This Alien module wraps the Z3 C library. This release supports version 4.8.4 of the Z3 library 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 Copyright (C) 2019 Ryan Voots This library is free software; Distributed under the Artistic 2.0 License The Z3 library is copyright Microsoft and distributed under the MIT license.