# 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.