Hello everybody,

 

Do you know how to call ICS (Integrated Canonizer and Solver: www.icansolve.com) or PVS (Prototype Verification System) from Haskell ?

 

Thank you in advance.