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

[Roberto Bagnara]

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

-- 
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it