Alien-Z3
view release on metacpan or search on metacpan
use alienfile;
use lib './inc';
use Sys::Info;
my $cpu_count = $ENV{ALIEN_Z3_CPUCOUNT} || Sys::Info->new()->device('CPU')->count || 1;
share {
plugin Download => (
url => 'https://github.com/Z3Prover/z3/archive/z3-4.8.4.tar.gz'
);
plugin 'Extract::CustomTar' => 'tar.gz';
( run in 1.967 second using v1.01-cache-2.11-cpan-87723dcf8b7 )