[PPL-devel] Sample examples of use of PPL

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É