view release on metacpan or  search on metacpan

lib/Alien/Z3.pm  view on Meta::CPAN

# ABSTRACT: Perl distribution for Z3 Solver
our $VERSION = '0.002';

use parent 'Alien::Base';

1;
__END__

=pod

=encoding utf8

=head1 NAME

Alien::Z3 - Perl distribution for Z3

=head1 VERSION

version 0.001

=head1 INSTALL