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)

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.