[PPL-devel] [GIT] ppl/ppl(pip): Added a standalone PIP solver demo program.

[François Galea]

Sven Verdoolaege a écrit :
> On Fri, Oct 23, 2009 at 07:15:01PM +0200, Francois Galea wrote:
>> This should not be of a real problem. I should be able to do that soon.  
>> However, I got trouble finding documentation about these files, in  
>> particular what the first column of matrices is for. If you know, please  
>> tell me.
> 
> Ah... this is the standard PolyLib format.
> The first column indicates whether the row describes an equality (0)
> or an inequality (1).  The constant term is in the final column.
> In the second polytope, the coefficients of the parameters
> appear after those of the unknowns.
> 
> You can assume that the "big parameter" is -1.
> That's what I do too.
> 
>> Also, do you require output in piplib's parenthesed format ?
> 
> I don't do that in either of my solvers, so I certainly wouldn't
> insist you do that.

I just commited a new version of the standalone solver.

It now reads Polylib-formatted files, and it can read PIPlib files when 
using the '-p' switch.

Though, it seems the example problems in piplib are revealing a(nother) 
flaw in the solver. I am currently investigating about this.

Best,

François