Solving the set of constraints can be done by Boolean solvers.Examples like
True or false matrix
0 and 1 , switch on off modes
Numerical analysis, like the Gaussian elimination.
binary values