Re: [Haskell-cafe] How to call ICS from Haskell

Huong Nguyen <[EMAIL PROTECTED]> writes: > Do you know how to call ICS (Integrated Canonizer and Solver: > www.icansolve.com ) or PVS (Prototype Verification > System) from Haskell ? Normally, it is easy to call external libraries via Haskell's FFI (Foreign Function In

[Haskell-cafe] How to call ICS from Haskell

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. ___ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org