Installed it. Is there any updated version of cryptominisat-2.9.5?
On 18 November 2013 15:48, Santanu Sarkar <sarkar.santanu....@gmail.com>wrote:
> 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.
