From the documentation of sage.sat.boolean_polynomials.solve (here), it is not clear how to use it. Can anyone cite me any detailed example?
Say, I need to solve (in a Boolean ring)  (x1 + x2 * x3 = x2)*(x2 = x3) . Can we do it?