v2 changes: added "Bilinear simp" to further simplificate equations
"Bilinear simp" is default checked, without it acts like old version
5 boolean variables (x0-x4), 4 equations
Example:
x1+x2+1+x0*(x2+x3+x4)+x1*(x2+x3)=0
x0+x2+x4+x0*(x2+x3)+x1*(x2+x3)+x3*x4=0
x0+x1+x2+x3+x0*(x1+x2+x3)+x1*x2+x2*(x3+x4)+x3*x4=0
x1+x2+x0*(x1+x4)+x2*x3+x3*x4=0
|