Running Program..."; echo "

Answer Sets:

"; exec($_GET['solver']." ".$_GET['lp1']." ".$_GET['lp2']." ".$_GET['lp3']." ".$_GET['opt']." | sed -e '1,$g/^$/d'", $output); unset($output[0]); echo "
\n";
  foreach ($output as $line)
  {
   if (!empty($line))
	echo htmlspecialchars($line);
	echo "\n";
  }

echo "
\n"; ?>