<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>