Re: [eclipse-clp-users] dump/3

> There is a file dump.pl in Clp(Q,R) (in <Clpqr>/clpr/eclipse for the 
> Clp(R) version) that produces the solver state. This may do what you
> want.

I think that it helps!

> Clp(Q,R) is a quite an old contributed software to ECLiPSe, and it is 
> written entirely in Prolog, and it is not particularly efficient. If the 
> problem your application solves has linear constraints only, and in 
> particular if it is an optimisation problem, you may want to consider 
> using lib(eplex) instead, which interfaces to external Mathematical 
> Programming solvers, and can be orders of magnitude faster than Clp(R) 
> of Clp(Q,R). It is also more flexible (for example, you can repeatedly 
> solve and modify a problem).

I'll consider that.

Thank you very much for your help!

Jorge