Works for me $ sage ---------------------------------------------------------------------- | Sage Version 5.4.1, Release Date: 2012-11-15 | | Type "notebook()" for the browser-based notebook interface. | | Type "help()" for help. | ---------------------------------------------------------------------- sage: from sage.sat.solvers import SatSolver sage:
$ /opt/sage-5.5.rc1/sage ---------------------------------------------------------------------- | Sage Version 5.5.rc1, Release Date: 2012-12-18 | | Type "notebook()" for the browser-based notebook interface. | | Type "help()" for help. | ---------------------------------------------------------------------- ********************************************************************** * * * Warning: this is a prerelease version, and it may be unstable. * * * ********************************************************************** sage: from sage.sat.solvers import SatSolver sage: On Monday 24 Dec 2012, Santanu Sarkar wrote: > 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 Cheers, Martin -- name: Martin Albrecht _pgp: http://pgp.mit.edu:11371/pks/lookup?op=get&search=0x8EF0DC99 _otr: 47F43D1A 5D68C36F 468BAEBA 640E8856 D7951CCF _www: http://martinralbrecht.wordpress.com/ _jab: [email protected] -- 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.
