I'm trying to implement Dinur-Nissim algorithm and am stuck at how to solve the set of linear inequalities with multiple unknowns and a large number of equations along with constraints.
Example:
\begin{align} 0.2 \leq c_4 \leq 0.66\\ 0.66 \leq c_3 \leq 1.56\\ 0.96 \leq c_3 + c4 \leq 2.26\\ \end{align}
Constraints:
$$0 \leq c_i \leq 1$$
and many other equations with the number of unknowns going up to $c_n$ where $n$ is the size of the database, so I need a solution which works for a large number of equations.
I have tried to look for some libraries but most of them solve Maximization or Minimization problems so am not sure if its possible to convert these equations to one of those problems.