<div>Hello everybody,</div>
<div>&nbsp;</div>
<div>Do you know how to call ICS (Integrated Canonizer and Solver: <a href="http://www.icansolve.com">www.icansolve.com</a>) or PVS (Prototype Verification System) from Haskell ?</div>
<div>&nbsp;</div>
<div>Thank you in advance.</div>