Sebastian Pop wrote:
On Thu, Oct 22, 2009 at 14:41, Roberto Bagnara bagnara@cs.unipr.it wrote:
we have just uploaded to
http://www.cs.unipr.it/ppl/Download/ftp/snapshots/
a beta-test distribution containing the new parametric integer programming solver. Documentation is included in the package. It is quite important that you check the documentation and start testing as soon as possible. The best way to report bugs and to suggest improvements/modifications is via the issue tracking system available at https://www.cs.unipr.it/mantis/ If for some reason you prefer not to use that, then send an email to ppl-devel@cs.unipr.it. We are also interested in collecting testcases, preferably tough ones that will help us in optimizing the solver.
I am trying the snapshots right now.
Hi there,
just to let you know that a new beta-test distribution with many improvements is available at
http://www.cs.unipr.it/ppl/Download/ftp/snapshots/
Please test it as soon as possible and report any problem to the ppl-devel@cs.unipr.it mailing list. Cheers,
Roberto