Huong Nguyen [EMAIL PROTECTED] writes:
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 ?
Normally, it is easy to call external libraries via Haskell's FFI
(Foreign Function
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