
27 Feb
2011
27 Feb
'11
7:59 a.m.
On 02/23/2011 09:00 PM, Sebastian Pop wrote:
On Wed, Feb 23, 2011 at 13:39, Ralf Wildenhuesralf.wildenhues@gmx.de wrote:
Does libpwl depend on libppl_c or libppl? If it does, then your
Roberto, could you please confirm that PWL is not dependent on PPL?
Confirmed: PWL does not depend on PPL.
Roberto, would it be possible to use a version of PWL different than the version of PPL? Again, I guess that PWL and PPL are independent.
The two packages are independent: they do not even share the version number. Cheers,
Roberto
--
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara@cs.unipr.it