Ask Your Question

Revision history [back]

click to hide/show revision 1
initial version

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?