Claudio,

you have to redefine such a type. I have done so in the SPPoC package that 
provides an API for parameterized linear optimization and symbolic polyhedron 
manipulation. You may want to have a look at it. It is downloadable on 
<http://www.lifl.fr/west/sppoc/>.

Regards,

Pierre.


Claudio Trento wrote:
> Hello,
> I would know if there is a way to create a linear constraint like "2x + 3y 
> 
>>6" in Ocaml. I've try to define new type but don't like me so much...
> 
> 
> Thanks,
> Claudio

-- 
Pierre Boulet

<http://www.lifl.fr/~boulet/>