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.

You are viewing proxied material from ftp.icm.edu.pl. The copyright of proxied material belongs to its original authors. Any comments or complaints in relation to proxied material should be directed to the original authors of the content concerned. Please see the disclaimer for more details.