Re: Solving linear system of equalities AND disequalities

pmatos wrote:
> Given I have a linear system of m constraints in m variables of
> equalities and disequalities what's the best way to handle the
> existence of disequalities? Is there any known algorithm that handles
> this?

Pressburger arithmetic should handle inequalities, but I do not know
about software support for inequalities and mixed arithmetic at the
same time. You could replace inequalities X != Y with a disjunction
X < Y or Y > X, and split on each case. Looking into SAT modulo
theories may be a good idea here since SAT solvers tend to have good
heuristics for splitting. The problem with iterating through each
solution is that there may be an infinite number of solutions.

Joe Hendrix
.