Thank you. I will install the new version. On 24 December 2012 17:28, Martin Albrecht <[email protected]>wrote:
> 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. > > > -- 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.
