<table cellspacing="0" cellpadding="0" border="0" ><tr><td valign="top" style="font: inherit;"><style></style><div><font face="Arial" size="2">To whom it may concern.</font></div>
<div><font face="Arial" size="2">I'm a MS univeristy student and i'm going to use
parma library tool for my goal which is generating and model checking and i need
a polyhedra operation tool, so i choosed your tool, but i want to use is with a
windows based model checking tool, as i have seen so far your tools only use
with GNU/linux OSes, so how i can use PPL, is there any win based version? or i
should change it as my need?</font></div>
<div><font face="Arial" size="2">thanks for your consideration in
advanced.<br>sincerely yours.<br>Saber Mirzaei.<br></font></div></td></tr></table><br>