SAT Solver
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?
Regards.