Alien-Z3

Perl distribution for Z3 Solver


License
Artistic-2.0

Documentation

NAME

Alien::Z3 - Perl distribution for Z3

VERSION

version 0.001

INSTALL

cpanm Alien::Z3

DESCRIPTION

This Alien module wraps the Z3 C library. This release supports version 4.8.4 of the Z3 library

AUTHOR

Ryan Voots

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.