Internal class used to translate an array of opaque objects to a pointer list for Z3
To install Z3::FFI, copy and paste the appropriate command in to your terminal.
cpanm
cpanm Z3::FFI
CPAN shell
perl -MCPAN -e shell install Z3::FFI
For more information on module installation, please visit the detailed CPAN module installation guide.