name: Alien-Z3 description: Perl distribution for Z3 Solver license_spdx: Artistic-2.0 version: 0.001 spec_version: 1.0 news_url: https://libraries.io/cpan/Alien-Z3/versions.atom date: 2019-06-02 about_resource: NONE libraries_io_url: https://libraries.io/cpan/Alien-Z3?number=0.001 vcs_tool: git vcs_repository: https://github.com/simcop2387/Alien-Z3 vcs_branch: master