Dear all,
I am trying to install cryptominisat in my Ubuntu 13.10. But I have the
following
error.
sage: B = BooleanPolynomialRing(10,'x')
sage: I = Ideal(B.random_element() for _ in range(10))
sage: import sage.sat.boolean_polynomials
sage: sage.sat.boolean_polynomials.solve(I.gens())
---------------------------------------------------------------------------
ImportError Traceback (most recent call last)
<ipython-input-13-c4875d7744cb> in <module>()
----> 1 sage.sat.boolean_polynomials.solve(I.gens())
/home/santanu/Downloads/sage-5.12-linux-32bit-ubuntu_13.04-i686-Linux/local/lib/python2.7/site-packages/sage/sat/boolean_polynomials.pyc
in solve(F, converter, solver, n, target_variables, **kwds)
150
151 if solver is None:
--> 152 from sage.sat.solvers.cryptominisat import CryptoMiniSat as
solver
153
154 if not isinstance(solver, SatSolver):
/home/santanu/Downloads/sage-5.12-linux-32bit-ubuntu_13.04-i686-Linux/local/lib/python2.7/site-packages/sage/sat/solvers/cryptominisat/__init__.py
in <module>()
2 from cryptominisat import CryptoMiniSat
3 except ImportError:
----> 4 raise ImportError("Failed to import
'sage.sat.solvers.cryptominisat.CryptoMiniSat'. Run
\"install_package('cryptominisat')\" to install it.")
5
6 from solverconf import SolverConf
ImportError: Failed to import
'sage.sat.solvers.cryptominisat.CryptoMiniSat'. Run
"install_package('cryptominisat')" to install it.
I have already installed cryptominisat. Hence I am getting
sage: install_package('cryptominisat')
---------------------------------------------------------------------------
ValueError Traceback (most recent call last)
<ipython-input-14-93ad48af6de9> in <module>()
----> 1 install_package('cryptominisat')
/home/santanu/Downloads/sage-5.12-linux-32bit-ubuntu_13.04-i686-Linux/local/lib/python2.7/site-packages/sage/misc/package.pyc
in install_package(package, force)
169 if not force:
170 if is_package_installed(package):
--> 171 raise ValueError, "Package is already installed.
Try install_package('%s',force=True)"%(package)
172 raise ValueError, "There is no package name starting with
'%s'."%(package)
173 # len(L)==1, i.e. exactly one package matches the given one.
ValueError: Package is already installed. Try
install_package('cryptominisat',force=True)
sage:
--
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/groups/opt_out.
