Re: Solving linear system of equalities AND disequalities

It seems to me that the method you proposed is very inefficient. If you
have n disequalities that will generate an enormous amount of branches
(2^n).

I'm thinkin' about lazy evaluation of disequalities. Probably ignoring
disequalities and requesting for a solution, whenever a solution if
found you check to see if the disequalities allow the solution, if they
do output, else find other solution. Of course you'd have to check for
cases where you have x+y = 1 in equalities and x+y != 1 in
disequalities! :D

Cheers,

Paulo Matos

.