<?php

$program_name = 'espresso';
$input_text = 'We collect 4 traces of espresso\'s allocation when invocated with these inputs:'."\n";
$input = array('7 input e 10 output',
				'8 input ed 8 output',
				'24 input e 109 output',
				'16 input e 40 output');

$input_ops = array(49876, 122261, 379881, 3367368);


$program_desc = 'Espresso is a logic minimization software. Espresso takes as input a two-level'."\n";
$program_desc .= 'representation of a two-valued (or multiple-valued) Boolean function, and produces a minimal'."\n";
$program_desc .= 'equivalent representation. Implementation used was the same published with allocator'."\n";
$program_desc .= '<i>Hoard</i>.,'."\n";

require_once 'program_page.php';
?>
