Alien::Z3 - Perl distribution for Z3
version 0.001
cpanm Alien::Z3
This Alien module wraps the Z3 C library. This release supports version 4.8.4 of the Z3 library
The z3 binary is also built along with the library, this requires a significant amount of RAM to build.
Ryan Voots
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.
To install Alien::Z3, copy and paste the appropriate command in to your terminal.
cpanm
CPAN shell
perl -MCPAN -e shell install Alien::Z3
For more information on module installation, please visit the detailed CPAN module installation guide.