Dear all, To solve a SAT problem, when I have written the following, I got error.
from sage.structure.sequence import Sequence from sage.rings.infinity import PlusInfinity from sage.sat.solvers import SatSolver from sage.sat.converters import ANF2CNFConverter Traceback (click to the left of this block for traceback) ... ImportError: No module named sat.solvers -- You received this message because you are subscribed to the Google Groups "sage-support" group. To post to this group, send email to sage-support@googlegroups.com. To unsubscribe from this group, send email to sage-support+unsubscr...@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support?hl=en.