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.
Thanks again, Sebastian