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 [email protected]. To unsubscribe from this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support?hl=en.
