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.
