[PPL-devel] PPL in windows

[saber mirzaei]

To whom it may concern.
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?
thanks for your consideration in 
advanced.
sincerely yours.
Saber Mirzaei.



      
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20100427/56a3e137/attachment.htm>