-----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1
Dear Roberto,
thanks for your quick help! This indeed solved our problem.
Right now we are using ppl with cTI to compare our Prolog termination analysis to that of cTI. We actually had to resort back to ppl 0.6 because there seems to have been a change in the interface used by cTI. Are there many drawbacks when using 0.6 compared to 0.8?
The speedup from SICStus clpq to ppl is up to 50000 times. Very impressive. So, for fair evaluation we needed to get ppl to perform.
For our own termination analyser we indeed do not know how to use it (yet). The finite domain constraints we have to solve are inherently non-linear. Do you have any ideas/pointers how one can deal with non-linear constraints? Can ppl handle some kinds of non-linearism?
Kind regards, Peter
Roberto Bagnara wrote:
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!
Dear Peter,
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,
Roberto
P.S. Are you using the PPL for termination analysis? And how do you use it with non-linear constraints? Just curious...