If the equations have a unique solution, simply check if all variables are either 1,0mf wrote:Nope. We're looking not just for some real-valued matrix, but for a "matrix of 0s and 1s".
Otherwise, put free variables as 1 or 0. Then check if the rest of all variables have integral solutions.