a constraint-solving toolkit for linear equalities and inequalities