equal
deleted
inserted
replaced
17 |
17 |
18 |
18 |
19 # call solver |
19 # call solver |
20 |
20 |
21 my $agent = LWP::UserAgent->new; |
21 my $agent = LWP::UserAgent->new; |
|
22 $agent->env_proxy; |
22 $agent->agent("SMT-Request"); |
23 $agent->agent("SMT-Request"); |
23 $agent->timeout(180); |
24 $agent->timeout(180); |
24 my $response = $agent->post($ENV{"ISABELLE_SMT_REMOTE_URL"}, [ |
25 my $response = $agent->post($ENV{"ISABELLE_SMT_REMOTE_URL"}, [ |
25 "Solver" => $solver, |
26 "Solver" => $solver, |
26 "Options" => join(" ", @options), |
27 "Options" => join(" ", @options), |