Dear PPL developers,<br><br>I am interesting in testing PPL in order to use it in a prototype tool for verification using parametric timed automata (written in OCaml).<br><br>I did not find on the PPL website any sample example of code showing how to use PPL.<br>
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.<br><br>Thank you very much.<br><br>Best regards,<br><br>Étienne ANDRÉ<br>