I have 60 equations with 70 variables. all of them are in one list:
(x0,x1,...,x239) are sympy symbols
list_a = [Xor(Not(x40), Not(x86)), Xor(x41, Not(x87)), ...]
and my question is, if it is possible somehow transform this equations to matrix or solved them. I think, that it can have more than one solution.