[PPL-devel] Sample examples of use of PPL

[Étienne André]

Dear PPL developers,

I am interesting in testing PPL in order to use it in a prototype tool for
verification using parametric timed automata (written in OCaml).

I did not find on the PPL website any sample example of code showing how to
use PPL.
I wonder if you had any somewhere (preferably using the interface with
OCaml), or if you could give me any advice to find such a piece of code.

Thank you very much.

Best regards,

Étienne ANDRÉ
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.cs.unipr.it/pipermail/ppl-devel/attachments/20091022/3b34a5ff/attachment.htm>