[Haskell-cafe] How to call ICS from Haskell

Huong Nguyen hiperfume at gmail.com
Wed Sep 14 16:14:15 EDT 2005

Hello everybody,
 Do you know how to call ICS (Integrated Canonizer and Solver: 
www.icansolve.com <http://www.icansolve.com>) or PVS (Prototype Verification 
System) from Haskell ?
 Thank you in advance.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.haskell.org//pipermail/haskell-cafe/attachments/20050914/1985c322/attachment.htm

More information about the Haskell-Cafe mailing list