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 sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/groups/opt_out.