Re: [PPL-devel] Re: PPL-devel Digest, Vol 7, Issue 3

Elena Fersman wrote:

Thank you for your helpful answers! We are planning to use the library in a model checker for hybrid systems. I will probably have more questions later.

Hello Elena,

we are glad to be useful and hope our library will suit your needs. Please, do not hesitate to get in touch with us whatever problem you may encounter in its use. All the best,

Roberto