Constraint-solving toolkit for linear equalities and inequalities