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/mailman/listinfo/haskell-cafe