[PPL-devel] problems installing ppl-0. with sicstus on amd64
bagnara at cs.unipr.it
Wed Jan 25 13:44:04 CET 2006
Peter Schneider-Kamp wrote:
> We are trying to use PPL for finite domain solving of
> non-linear constraints in our research project.
> Unfortunately, on our computing server (4x Opteron 848)
> we cannot get PPL to install.
> I have attached the output of "make install"
> to this mail. There seems to be a problem with linking
> to sicstus.
> If you have any ideas how to resolve this issue
> we would be very glad. Also, if you just have some
> pointers where to look for the problem we also
> would greatly appreciate that information. We really
> need to get PPL working!
we have succeeded in reproducing the problem you report.
Can you please test the attached patch?
Please let us know how it goes.
All the best,
P.S. Are you using the PPL for termination analysis?
And how do you use it with non-linear constraints?
Prof. Roberto Bagnara
Computer Science Group
Department of Mathematics, University of Parma, Italy
mailto:bagnara at cs.unipr.it
-------------- next part --------------
An embedded and charset-unspecified text was scrubbed...
More information about the PPL-devel