Alien-Z3

 view release on metacpan or  search on metacpan

alienfile  view on Meta::CPAN

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 0.746 second using v1.01-cache-2.11-cpan-87723dcf8b7 )