[PPL-devel] Parametric integer linear programming solver

[Roberto Bagnara]

Sebastian Pop wrote:
> 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.

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 at cs.unipr.it mailing list.
Cheers,

     Roberto

-- 
Prof. Roberto Bagnara
Applied Formal Methods Laboratory
Department of Mathematics, University of Parma, Italy
http://www.cs.unipr.it/~bagnara/
mailto:bagnara at cs.unipr.it