Hello, Try "sage -b"
Vincent 2014-08-12 10:25 UTC, Juan Grados <[email protected]>: > Dear members, > > I'm installed the cryptominisat solver using: ./sage -i > cryptominisat-2.9.6 in Sage Version 6.2, Release Date: 2014-05-06 on Ubuntu > 14.04 LTS but when I trying to execute the command > > from sage.sat.solvers.cryptominisat import CryptoMiniSat > > I get the error: > > Traceback (most recent call last): > File "<stdin>", line 1, in <module> > File "_sage_input_7.py", line 10, in <module> > exec compile(u'open("___code___.py","w").write("# -*- coding: utf-8 > -*-\\n" + > _support_.preparse_worksheet_cell(base64.b64decode("ZnJvbSBzYWdlLnNhdC5zb2x2ZXJzLmNyeXB0b21pbmlzYXQgaW1wb3J0IENyeXB0b01pbmlTYXQ="),globals())+"\\n"); > execfile(os.path.abspath("___code___.py")) > File "", line 1, in <module> > > File "/tmp/tmpvJBS6S/___code___.py", line 2, in <module> > exec compile(u'from sage.sat.solvers.cryptominisat import CryptoMiniSat > File "", line 1, in <module> > > File > "/home/grados-sanchez/Programas/sage/local/lib/python2.7/site-packages/sage/sat/solvers/cryptominisat/__init__.py", > line 4, in <module> > raise ImportError("Failed to import > 'sage.sat.solvers.cryptominisat.CryptoMiniSat'. Run > \"install_package('cryptominisat')\" to install it.") > ImportError: Failed to import > 'sage.sat.solvers.cryptominisat.CryptoMiniSat'. Run > "install_package('cryptominisat')" to install it. > > How I will be able to fix that? > > > > -- > --------------------------------------------------------------------- > MSc. Juan del Carmen Grados Vásquez > Laboratório Nacional de Computação Científica > Tel: +55 21 97633 3228 > (http://www.lncc.br/) > http://juaninf.blogspot.com > --------------------------------------------------------------------- > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sage-support. > For more options, visit https://groups.google.com/d/optout. > -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/d/optout.
