[PPL-devel] Parametric integer linear programming solver

[Sebastian Pop]

On Thu, Oct 22, 2009 at 14:41, Roberto Bagnara <bagnara at 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 at 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