[PPL-devel] problems installing ppl-0.[78] with sicstus on amd64

[Peter Schneider-Kamp]

-----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...

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.2 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org

iD8DBQFD15ut3VbrCXkKHhwRAqw4AJ4npeqNyi5cwjN1gD+IrkW3iKquvACdGFV0
0FvJJetQPLWjNZoYyGSz27A=
=nK6r
-----END PGP SIGNATURE-----