
<html>

<head>

<meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1">

<style type="text/css" style="display:none;"><!-- P {margin-top:0;margin-bottom:0;} --></style>

</head>

<body dir="ltr">

<div id="divtagdefaultwrapper" style="font-size:12pt;color:#000000;background-color:#FFFFFF;font-family:Calibri,Arial,Helvetica,sans-serif;">

<p>Hi all,</p>

<p><br>

</p>

<p>I am using C_Polyhedron to perform abstract interpretation. The polyhedrons I am dealing with take a lot of time to perform convex hull. The convex hull spends a lot of time in add_and_minimize operation. I was wondering if there is an alternate implementation

 in PPL 1.1 (or some other unstable version), that performs hull operation using CLP so that I can compare the two implementations.</p>

<p><br>

</p>

<p>Thanks,</p>

<p>Tushar Sharma</p>

<p>Graduate Student</p>

<p>Computer Sciences</p>

<p>University of Wisconsin-Madison</p>

</div>

</body>

</html>